
Theorem Provers in Circuit Design (English, Ramayya Kumar | Thomas Kropf)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540590477 |
| ISBN-10 | 3540590471 |
| Author | Ramayya Kumar | Thomas Kropf |
Product Description
Here on GlowMirror, you'll find Theorem Provers in Circuit Design filed under Art History -- everything you need to know is covered below.
About the Book
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 c…
ISBN: 9783540590477
Book Insights
What You'll Learn
- ·Key historical events and figures covered in Theorem Provers in Circuit Design
- ·Primary sources, analysis, and historiographical perspectives
- ·Connections between past events and their modern relevance
Who Should Read This
History buffs, students, and readers curious about the past.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy











