Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen
₹5,527
Computer Aided Verification
14th International Conference
by Ed Brinksma, Kim G. Larsen
Springer · 2002 · Paperback
₹4,400
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
Computer Aided Verification: 14th International Conference by Ed Brinksma & Kim G. Larsen is a 626-page paperback edition published by Springer in 2002.
The book deals with Logic design, Software engineering, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783540439974
- ISBN-10
- 3540439978
- Authors
- Ed Brinksma, Kim G. Larsen
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 626
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Ed Brinksma and related titles
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598
Semiconductor Packaging
Andrea Chen, Randy Hsiao Lo
₹4,790
Algorithms, Complexity Analysis and Vlsi Architectures for Mpeg-4 Motion Estimation
Peter M. Kuhn
₹7,752
Verification Techniques for System-Level Design
Indradeep Ghosh, Masahiro Fujita, Mukul Prasad
₹4,923
Advanced Cmos Cell Design
Sonia Delmas Bendhia, Etienne Sicard
₹4,841
Low Power Cmos Vlsi Circuit Design
Kaushik Roy, Sharat Prasad
₹4,569
Timing Verification of Application-Specific Integrated Circuits
Farzad Nekoogar
₹5,762
Low Power Design Essentials
Jan M. Rabaey
₹2,729
Delta-Sigma A/D-Converters
Richard Gaggl
₹7,774
The Design of CMOS Radio-Frequency Integrated Circuits
Thomas H. Lee
₹7,031
Sensors and Low Power Signal Processing
Syed Kamrul Islam, Mohammad Rafiqul Haider
₹5,503