Kommunikative Funktionen Des Dialekts Im Unterricht
Thomas Kropf
₹4,101
Formal Hardware Verification
Methods and Systems in Comparison
by Thomas Kropf
Springer · 1997 · Paperback
₹5,549
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 1997, Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf runs to 367 pages in paperback. It belongs to the Lecture notes in computer science series.
Topics covered include Very large scale integration, Formal methods (Computer science), Computer-aided design and Verification.
Book details
- ISBN-13
- 9783540634751
- ISBN-10
- 3540634754
- Author
- Thomas Kropf
- Publisher
- Springer
- Published
- 1997
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 367
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Thomas Kropf and related titles
Analog Mos Integrated Circuits for Signal Processing
Gabor C. Temes, Roubik Gregorian
₹12,321
Low Power Semiconductor Devices and Processes for Emerging Applications in Communications, Computing, and Sensing
Sumeet Walia
₹3,349
Bipolar and Mos Analog Integrated Circuit Design
Alan B. Grebene
₹6,518
Formal Methods in Computer-Aided Design
Mark D. Aagaard, John W. O'Leary
₹5,593
High-Speed Pulse Techniques
J. A. Coekin
₹3,388
Statistical Analysis and Optimization for Vlsi
Ashish Srivastava, Dennis Sylvester, David Blaauw
₹4,343
ASIC and FPGA Verification
Richard Munden
₹4,369
Timing
Sachin Sapatnekar
₹15,365
R-trees
Yannis Manolopoulos, Alexandros Nanopoulos, Yannis Theodoridis, Apostolos N. Papadopoulos
₹8,032
Introduction to Analog Vlsi Design Automation
Mohammed Ismail
₹7,777
Introduction to Microelectronic Fabrication (5)
Richard C. Jaeger
₹14,566