Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Theorem Provers in Circuit Design: Theory, Practice and Experience
Best Price:
Buy Theorem Provers in Circuit Design: Theory, Practice and Experience for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.
Reviews
Questions & Answers
Aroma Biotechnology
$54.99
The Europeanization of Domestic Legislatures
$109.99
Algebraic Geometry and Number Theory
$89.00
In the Footsteps of the Savior Bible Study Guide plus Streaming Video- Following Jesus Through the Holy Land by Max Lucado
$21.99
Open Education: from OERs to MOOCs
$139.99
Marktorientierter Unternehmenswandel
$59.99
Rumanian Folk Music
$39.99
Psychotherapieausbildung in sterreich
$29.99
Software Performability: From Concepts to Applications
$169.99
New Frontiers of Nanomaterials in Environmental Science
$109.99
Cardiac Preexcitation Syndromes
$109.99
Phase Transitions of Simple Systems
$129.00
Semantic Multimedia
$54.99
On the Move to Meaningful Internet Systems: OTM 2013 Conferences
$54.99
Logistikoptimierung durch Outsourcing
$74.99
Logic in Question
$199.99
Automobil-Metechnik
$84.99
Security, Privacy, and Anonymity in Computation, Communication, and Storage
$54.99
Topics in Theoretical and Experimental Gravitation Physics
$39.99
Leadership and Culture
$54.99
The Neurobiology of Parental Behavior
$299.99
Executive's Guide to Understanding People
$54.99
Context-Aware Systems and Applications
$89.99
Shelleys Poetic Thoughts
$169.99
Smart Cities as Democratic Ecologies
$99.00
The Development of Global Legislative Politics
$109.99
FinTech and Artificial Intelligence for Sustainable Development
$159.99
Ground state properties and excitation spectrum of correlated electron systems
$14.95
Measurement Errors and Uncertainties
$109.99
Graph-Theoretic Concepts in Computer Science
$39.99
Navigating Safety
$79.99
Feminist Approaches to Media Theory and Research
$159.99
Managing Health, Safety and Well-Being
$129.99
From Cells to Organs
$39.99
Praxis-Guide Bildrechte
$54.99
Kardiologie
$64.99
National Geographic Kids: Chapters: The Whale Who Won Hearts
$5.21
Auto- und Heterostereotypie im Europa des 19. Jahrhunderts
$89.99
Understanding Violence
$139.99
Aktuelle Entwicklungstendenzen der Phosphorchemie. Kontrolle von umweltsensitiven Schadstoffen bei d
$69.95
