Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler, Robert Wille
₹4,302
Formal Verification of Circuits
Springer Verlag · 2010
₹15,053
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹14,553 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
Formal Verification of Circuits is written by Rolf Drechsler. This edition is published by Springer Verlag (2010).
The book deals with Computer hardware, Electronic data processing, Computer engineering and Computer-aided design.
Book details
- ISBN-13
- 9781441949851
- ISBN-10
- 1441949852
- Author
- Rolf Drechsler
- Publisher
- Springer Verlag
- Published
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Pages
- 192
- Language
- English
- Condition
- New
- Subject
- Graph theory
More by Rolf Drechsler and related titles
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler, Ulrich Kühne
₹4,176
Recent Findings in Boolean Techniques
Rolf Drechsler, Daniel Große
₹7,735
Towards One-Pass Synthesis
Rolf Drechsler
₹3,588
Spectral Techniques in VLSI CAD
Rolf Drechsler, D. Michael Miller, Mitchell Aaron Thornton
₹11,558
Evolutionary Algorithms for Vlsi CAD
Rolf Drechsler
₹7,740
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
₹11,591
Graph-grammars and Their Application to Computer Science and Biology
V. Claus, G. Rozenberg
₹3,956
Zeta Functions of Graphs
Audrey Terras
₹5,364
Spectral Generalizations of Line Graphs
Dragos Cvetkovic, Peter Rowlinson, Slobodan Simic
₹5,207
Planar Graphs
T. Nishizeki, N. Chiba
₹4,016
Graph-Theoretic Concepts in Computer Science
Dieter Kratsch
₹4,281