Copied Theorem Provers in Circuit Design: Theory, Practice and Experience
Theorem Provers in Circuit Design: Theory, Practice and Experience
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Strides Towards Standard Methodologies in Aeronautical Archaeology
$119.99
Zur Entstehung, Authentizitt und Kritik von Brnings Memoiren 19181934
$79.99
Hegel and the Sciences
$169.00
Projektmanagement als Fhrungskonzept
$39.99
Augmented Vision Perception in Infrared
$84.99
The Principality of Monaco
$54.99
Ballen und Kissen
$59.99
Guide to Modeling and Simulation of Systems of Systems
$89.99
Bio-Medical Engineering. Strmungsfragen der Medizin
$59.99
Trends in Computational Intelligence, Security and Internet of Things
$54.99
Advanced Intelligent Systems for Sustainable Development (AI2SD2018)
$169.99
Modeling and Using Context
$84.99
Chemistry of Tin
$329.99
Fhrungskrfteentwicklung
$34.99
Metallkunde fr das Maschinenwesen
$69.99
Smile: Guts
$9.74
Comorbid Conditions in Individuals with Intellectual Disabilities
$84.99
Die Welt der Parasiten
$49.99
A Resolution Principle for a Logic with Restricted Quantifiers
$39.99
Marktorientierte Betriebswirtschaftslehre
$54.99
Self-Management in Chronic Illness
$84.99
Introduction into Capital Theory
$54.99
The Story of Helium and the Birth of Astrophysics
$37.99
Social Networks and Health Inequalities
$59.99
The Labour Government, 197479
$44.99
Perspectives on Academic Persian
$199.99
Lean, Green and Sustainability
$99.99
The Evolution of Galaxies
$219.99
Innovations in Quantitative Risk Management
$59.99
Japanese Human Resource Management
$129.99
Herbals of Asia
$179.99
Unternehmenskultur im Strategischen Kompetenzmanagement
$69.99
Neurofibromatoses in Clinical Practice
$54.99
Kimberlites and Their Xenoliths
$84.99
From Tool to Partner
$59.99
Geographic Information Science and Public Participation
$84.99
Statistical Science in the Courtroom
$54.99
Marx and Engels's "German ideology" Manuscripts
$54.99
The Statesman's Year-Book 1980-81
$99.00
Challenges in Scientific Computing - CISC 2002
$84.99
