Embedded Software
Rajeev Alur
₹5,700
Computer Aided Verification
8th International Conference
by Rajeev Alur, Thomas Henzinger
Springer · 1996 · Paperback
₹5,618
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: 8th International Conference by Rajeev Alur & Thomas Henzinger is a 342-page paperback edition published by Springer in 1996.
The book deals with Congresses, Electronic digital computers, Evaluation and Verification.
Book details
- ISBN-13
- 9783540614746
- ISBN-10
- 3540614745
- Authors
- Rajeev Alur, Thomas Henzinger
- Publisher
- Springer
- Published
- 1996
- Binding
- Paperback
- Pages
- 342
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Rajeev Alur and related titles
Principles of Cyber-Physical Systems
Rajeev Alur
₹3,084
Hybrid Systems
Rajeev Alur
₹8,177
Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Circuits and Systems for Security and Privacy
Farhana Sheikh, Leonel Sousa
₹7,266
Vhdl’92
Jean-Michel Bergé, Serge Maginot, Alain Fonkoua, Jacques Rouillard
₹4,208
Finfet Modeling for Ic Simulation and Design
Yogesh Singh Chauhan, Sourabh Khandelwal, Juan Pablo Duarte, Darsen Duane Lu, Sriramkumar Venugopalan
₹5,375
An ASIC Low Power Primer
Chadha Rakesh Bhasker Jayaram
₹3,751
Functional Verification Coverage Measurement and Analysis
Andrew Piziali
₹7,753
Analog Vlsi
KRAMER
₹3,124
On the Learnability of Physically Unclonable Functions
Fatemeh Ganji
₹7,753
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Luciano Lavagno, Igor L. Markov, Grant Martin, Lou Scheffer
₹15,363