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 (Coupon Required):
Buy Theorem Provers in Circuit Design: Theory, Practice and Experience for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Thermodynamik
$49.99
System of Negotiations
$84.99
Landscape and the Environment in Hollywood Film
$99.99
Advanced Sensing and Robotics Technologies in Smart Agriculture
$179.99
Electron Transport in Quantum Dots
$169.00
The News of the World and the British Press, 1843-2011
$54.99
The Biology of Mammalian Spermatogonia
$149.00
Mobility, Sociability and Well-being of Urban Living
$109.99
Das Innovationskosystem
$37.99
Travel Writing and the Transnational Author
$54.99
Michel Foucault and the Games of Truth
$59.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
$79.99
Self-Sustaining Systems
$39.99
Handbook of Philosophical Logic
$169.99
Die rationelle Haushaltfhrung
$59.99
Satoumi Science
$199.99
Perpetrators in Holocaust Narratives
$99.99
Fuzzy Logic in Management
$39.99
Bacilli in Agrobiotechnology
$169.00
Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
$19.95
Nonequilibrium Effects in Ion and Electron Transport
$39.99
Heiner Mller-Handbuch
$99.99
Realizing Freedom: Hegel, Sartre and the Alienation of Human Being
$54.99
Ecological responses to environment stresses
$54.99
Post-Heroic Leadership
$69.99
Atlas of Typical Seismic and Geological Sections for Major Petroliferous Basins in China
$54.99
Schraubenverbindungen
$179.99
Reconfiguring Modernism
$109.99
Idleness, Indolence and Leisure in English Literature
$39.99
Informationsgrundlagen zur leistungsbezogenen Konditionengewhrung
$59.99
SAS for Data Analysis
$54.99
'Bad' Women of Bombay Films
$129.99
Quantitative Reasoning in Mathematics and Science Education
$159.99
The Pontryagin Duality of Compact O-Dimensional Semilattices and Its Applications
$29.99
Post-Traumatic Growth to Psychological Well-Being
$149.00
Biochemistry of Cardiovascular Dysfunction in Obesity
$199.99
Aus dem alten Basel
$44.99
Japan as-anything but-Number One
$29.99
Advanced Communication and Intelligent Systems
$79.99
Witch Politics in Early Modern Europe (14001800)
$89.00
