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
Person und Dasein
$84.99
Informatik
$69.95
Forest and Biomass Harvest and Logistics
$69.99
Handbook of Mindfulness in Education
$219.99
Logic Programming and Nonmonotonic Reasoning
$54.99
Auktionen und Revenue Management in der Automobilindustrie
$49.99
The 2007 ESO Instrument Calibration Workshop
$54.99
On Disney
$99.99
Marxs Theory of Money
$84.99
Locally Convex Spaces
$89.99
Quantum Kinetic Theory
$159.99
Cell-Cell Interactions
$169.99
Influence of Shear and Band on Rotational Capacity of Reinforced Concrete Beams
$74.99
Advanced Computing, Machine Learning, Robotics and Internet Technologies
$59.99
Growing Income Inequalities
$39.99
Computer Vision for Biomedical Image Applications
$109.99
Electronic Government and the Information Systems Perspective
$59.99
Methods of Cancer Diagnosis, Therapy and Prognosis
$259.00
Psychotherapie
$44.99
The Choice of Legal Basis for Acts of the European Union
$79.99
Feed Management in Intensive Aquaculture
$129.00
The Cosmic Zoo
$54.99
The Practice of Peptide Synthesis
$109.99
Advanced Information Systems Engineering
$84.99
Lean oder MES in der Automobilzulieferindustrie
$79.99
Systemeffizienz bei regenerativer Stromerzeugung
$74.99
Evolutionary and Biologically Inspired Music, Sound, Art and Design
$49.99
Transforming Literacy Teaching in the Era of Higher Standards: Grades K-2
$26.24
Simulation and Modeling Methodologies, Technologies and Applications
$129.00
Zukunft Altern
$24.99
The Credit Risk of Financial Instruments
$169.00
Preventing Mental Illness
$74.99
Intelligent Processing Algorithms and Applications for GPS Positioning Data of Qinghai-Tibet Railway
$109.99
Amerikanischer Talsperrenbau
$69.99
Protection of Wind Turbine Generators Using Microcontroller-Based Applications
$119.00
HVDC and FACTS Controllers
$129.00
Umwelt- und kostenorientierte Unternehmensfhrung
$74.99
Konjunktur- und Wachstumspolitik Konflikt oder Konnex
$69.99
ECOOP 2014 -- Object-Oriented Programming
$54.99
Relativity
$109.99
