Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Hybrid Systems
Computation and Control
by Rajeev Alur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2004 · Paperback
₹8,177
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
Hybrid Systems: Computation and Control is written by Rajeev Alur. This paperback edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2004) has 674 pages.
The book deals with Hybrid computers, Digital control systems, Congresses and Computer science.
Book details
- ISBN-13
- 9783540212591
- ISBN-10
- 3540212590
- Author
- Rajeev Alur
- Published
- 2004
- Edition
- 2004 ed.
- Binding
- Paperback
- Pages
- 674
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Rajeev Alur and related titles
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Principles of Cyber-Physical Systems
Rajeev Alur
₹3,084
Embedded Software
Rajeev Alur
₹5,700
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Rewriting Logic and Its Applications
Santiago Escobar
₹3,763
Remote Usability Testing
Inge de Bleecker, Rebecca Okoroji
₹1,929
Program Specification
Series Editor Sally M. Reis, Carolyn M. Callahan
₹4,263
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Digital Design
M. Morris Mano, Michael Ciletti
₹4,665
Logic Circuit Design
Shimon P. Vingron
₹11,253
Practical Programmable Circuits
James D. Broesch
₹3,982