Hybrid Systems
Rajeev Alur
₹8,177
Computer Aided Verification
16th International Conference
by Rajeev Alur, Doron A. Peled
Springer · 2004 · Paperback
₹4,559
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 2004, Computer Aided Verification: 16th International Conference by Rajeev Alur & Doron A. Peled runs to 536 pages in paperback.
The book deals with Systems Architecture, Congresses, Verification and Electronic digital computers.
Book details
- ISBN-13
- 9783540223429
- ISBN-10
- 3540223428
- Authors
- Rajeev Alur, Doron A. Peled
- Publisher
- Springer
- Published
- 2004
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 536
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Rajeev Alur and related titles
Embedded Software
Rajeev Alur
₹5,700
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Principles of Cyber-Physical Systems
Rajeev Alur
₹3,084
Analog and Mixed-Signal Hardware Description Language
Alain Vachoux
₹7,771
Photo-Excited Processes, Diagnostics and Applications
A. Peled
₹3,329
Modeling and Simulation of Mixed Analog-Digital Systems
B. Antao
₹5,300
Fine Pitch Surface Mount Technology
Phil Marcoux
₹15,396
Fundamentals of Modern Vlsi Devices
Tak H. Ning, Yuan Taur
₹6,329
Circuits and Systems for Security and Privacy
Farhana Sheikh, Leonel Sousa
₹7,266
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Luciano Lavagno, Igor L. Markov, Grant Martin, Lou Scheffer
₹15,363
Vhdl’92
Jean-Michel Bergé, Serge Maginot, Alain Fonkoua, Jacques Rouillard
₹4,208