Embedded Software
Rajeev Alur
₹5,700
Computer Aided Verification
16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings
by Rajeev Alur, Doron a. Peled
₹4,559
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.
Book details
- ISBN-13
- 9783540223429
- ISBN-10
- 3540223428
- Authors
- Rajeev Alur, Doron a. Peled
- Publisher
- Springer
- Condition
- New
- Subject
- Computers & Internet
More by Rajeev Alur and related titles
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618
Computerunterstützung Im Portfoliomanagement
Peter Husemann
₹3,508
Zur Simulation einer digitalen Integrieranlage mittels eines elektronischen Rechenautomaten
Wolf-Dietrich Meisel
₹5,388
Advances in Information and Computer Security
Isao Echizen, Noboru Kunihiro, Ryoichi Sasaki
₹5,580
Mediafotografie - Analog und Digital
Thomas Walter
₹3,508
Human Attention in Digital Environments
Claudia Roda
₹4,010
Handbook of Ambient Intelligence and Smart Environments
Hideyuki Nakashima, Hamid Aghajan, Juan Carlos Augusto
₹4,693
Methoden Der Digitalen Bildsignalverarbeitung
Piero Zamperoni
₹3,508
The Information System Consultant's Handbook
William S. Davis, David C. Yen
₹4,487
Theory of Quantum Computation, Communication, and Cryptography
Andrew Childs, Michele Mosca
₹4,868
The Road to the Unified Software Development Process
Ivar Jacobson, Stefan Bylund
₹4,768