Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Embedded Software
Third International Conference
by Rajeev Alur
Springer · 2003 · Paperback
₹5,700
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
Embedded Software: Third International Conference is written by Rajeev Alur. This paperback edition from Springer (2003) has 373 pages.
Its main subjects are Development, Congresses, Embedded computer systems and Programming.
Book details
- ISBN-13
- 9783540202233
- ISBN-10
- 3540202234
- Author
- Rajeev Alur
- Publisher
- Springer
- Published
- 2003
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 373
- Language
- English
- Condition
- New
- Subject
- Embedded computer systems
More by Rajeev Alur and related titles
Principles of Cyber-Physical Systems
Rajeev Alur
₹3,084
Computer Aided Verification
Rajeev Alur, Doron A. Peled
₹4,559
Hybrid Systems
Rajeev Alur
₹8,177
Embedded Microcontroller Interfacing for M-COR ® Systems
G. Jack Lipovski
₹25,066
Pervasive Computing
Alois Ferscha, Friedemann Mattern
₹5,693
From Specification to Embedded Systems Application
IFIP TC10 Working Conference: International Embedded Systems Symposium (2005 Manaus, Brazil)
₹6,633
Embedded System Design
Peter Marwedel
₹6,740
Low Power Methodology Manual
David Flynn, Rob Aitken, Gibbons, Alan, Kaijian Shi
₹2,825
Embedded Software for Soc
Ahmed Amine Jerraya, Sungjoo Yoo, Norbert Wehn
₹5,393
Electronic System Level Design
Sandro Rigo
₹5,707
Embedded and Real Time System Development
Mohammad Ayoub Khan, Saqib Saeed, Ashraf Darwish, Ajith Abraham
₹7,756