Formal Verification of Circuits
Rolf Drechsler
₹15,053
Towards One-Pass Synthesis
Springer · 2012
₹3,588
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2012, Towards One-Pass Synthesis by Rolf Drechsler runs to 181 pages.
Topics covered include Computer science and Computer aided design.
Book details
- ISBN-13
- 9789401099004
- ISBN-10
- 9401099006
- Author
- Rolf Drechsler
- Publisher
- Springer
- Published
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2002
- Pages
- 181
- Language
- English
- Condition
- New
- Subject
- Arts, Film & Photography
More by Rolf Drechsler and related titles
Evolutionary Algorithms for Vlsi CAD
Rolf Drechsler
₹7,740
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler, Ulrich Kühne
₹4,176
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler, Robert Wille
₹4,302
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
₹11,591
Spectral Techniques in VLSI CAD
Rolf Drechsler, D. Michael Miller, Mitchell Aaron Thornton
₹11,558
Recent Findings in Boolean Techniques
Rolf Drechsler, Daniel Große
₹7,735
Possessing Nature, 20
Paula Findlen
₹3,041
The Journalist in British Fiction and Film
Sarah Lonsdale
₹3,374
Reading Comics
Douglas Wolk
₹3,985
Tiny House Design & Construction Guide
Dan Louche
₹1,738
The Myth of the Missing Black Father
Roberta L. Coles, Green, Charles
₹3,435