Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler, Ulrich Kühne
₹4,176
Binary Decision Diagrams
Theory and Implementation
by Rolf Drechsler, Bernd Becker
Springer-Verlag New York Inc. · 2010
₹11,591
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
Binary Decision Diagrams: Theory and Implementation by Rolf Drechsler & Bernd Becker is a 200-page book published by Springer-Verlag New York Inc. in 2010.
The book deals with Systems engineering, Engineering, Computer-aided design and Computer engineering.
Book details
- ISBN-13
- 9781441950475
- ISBN-10
- 1441950478
- Authors
- Rolf Drechsler, Bernd Becker
- Publisher
- Springer-Verlag New York Inc.
- Published
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 1998
- Pages
- 200
- Language
- English
- Condition
- New
- Subject
- Business & Economics
More by Rolf Drechsler and related titles
Towards One-Pass Synthesis
Rolf Drechsler
₹3,588
Recent Findings in Boolean Techniques
Rolf Drechsler, Daniel Große
₹7,735
Spectral Techniques in VLSI CAD
Rolf Drechsler, D. Michael Miller, Mitchell Aaron Thornton
₹11,558
Formal Verification of Circuits
Rolf Drechsler
₹15,053
Evolutionary Algorithms for Vlsi CAD
Rolf Drechsler
₹7,740
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler, Robert Wille
₹4,302
Contemporary Ergonomics 2000
Sandy Robertson, M. A. Hanson, E. J. Lovesey
₹16,346
The European Carbon Tax
Carlo Carraro, D. Siniscalco
₹4,252
Alternative Work Organizations
UNKNOWN
₹7,772
Human Interactions with the Carbon Cycle
Paul C. Stern
₹3,521
Mapping Financial Stability
Peter Sarlin
₹6,946