Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605
Computer Aided Verification
10th International Conference
by Alan J. Hu, Moshe y. Vardi
Springer · 1998 · Paperback
₹5,376
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: 10th International Conference is written by Alan J. Hu & Moshe y. Vardi. This paperback edition from Springer (1998) has 552 pages.
Topics covered include Computer software, Verification, Congresses and Integrated circuits.
About the author: Gerhard Goos (1937–2020). About the author: Juris Hartmanis (1928–2022).
Book details
- ISBN-13
- 9783540646082
- ISBN-10
- 3540646086
- Authors
- Alan J. Hu, Moshe y. Vardi
- Publisher
- Springer
- Author dates
- Gerhard Goos (1937–2020); Juris Hartmanis (1928–2022)
- Published
- 1998
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 552
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Alan J. Hu and related titles
Test Resource Partitioning for System-on-a-chip
Vikram Iyengar, Anshuman Chandra
₹7,754
Handbook of Algorithms for Physical Design Automation
Dinesh P. Mehta, Sachin S. Sapatnekar
₹3,974
Modelling of Microfabrication Systems
Weizhong Dai, Raja Nassar
₹11,564
Vlsi-Soc
Christian Piguet, Ricardo Reis, Dimitrios Soudris
₹5,574
Memory, Microprocessor, and Asic
Wai-Kai Chen
₹25,929
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
Bushnell M.l
₹9,452
Algorithms, Complexity Analysis and Vlsi Architectures for Mpeg-4 Motion Estimation
Peter M. Kuhn
₹7,752
Timing Verification of Application-Specific Integrated Circuits
Farzad Nekoogar
₹5,762
Low-power Design and Power-aware Verification
Progyna Khondkar
₹10,820
Process Variations and Probabilistic Integrated Circuit Design
Manfred Dietrich
₹7,745
Sustainable Wireless Network-on-chip Architectures
Jacob Murray, Partha Pratim Pande, Behrooz Shirazi, Paul Wettin
₹3,093