Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Principles of Cyber-Physical Systems
by Rajeev Alur
The MIT Press · 2015
₹3,084
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹2,806 for this book (save ₹278).
9% off every book, up to ₹500 off per order.
About this book
Its main subjects are Embedded computer systems, Computer networks, Automatic control and System design.
Book details
- ISBN-13
- 9780262029117
- ISBN-10
- 0262029111
- Author
- Rajeev Alur
- Publisher
- The MIT Press
- Published
- 2015
- Edition
- Illustrated
- Pages
- 464
- Language
- English
- Condition
- New
- Subject
- Embedded Systems
More by Rajeev Alur and related titles
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Embedded Software
Rajeev Alur
₹5,700
Hybrid Systems
Rajeev Alur
₹8,177
Tool-Based Requirement Traceability between Requirement and Design Artifacts
Bernhard Turban
₹7,730
Memory Design Techniques for Low Energy Embedded Systems
Massimo Poncino, Luca Benini, Alberto Macii
₹7,727
Embedded and Real Time System Development
Mohammad Ayoub Khan, Saqib Saeed, Ashraf Darwish, Ajith Abraham
₹7,756
Modular Low-Power, High-Speed Cmos Analog-To-Digital Converter for Embedded Systems
Keh-LA Lin, Bedrich J. Hosticka, Armin Kemna
₹13,868
Embedded Software Design and Programming of Multiprocessor System-on-Chip
Katalin Popovici, Ahmed A. Jerraya, Frederic Rousseau, Marilyn Wolf
₹11,589
Embedded Systems Development
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
₹5,572
What Every Engineer Should Know About Developing Real-Time Embedded Products
Kim R. Fowler
₹4,059
Real World Multicore Embedded Systems
Bryon Moyer
₹4,888