Computer Safety, Reliability, and Security
Floor Koornneef, Meine Van Der Meulen
₹5,615
Automata, Logics, and Infinite Games
A Guide to Current Research
by Erich Grädel, Wolfgang Thomas, Thomas Wilke
₹4,912
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
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540003885
- ISBN-10
- 3540003886
- Authors
- Erich Grädel, Wolfgang Thomas, Thomas Wilke
- Publisher
- Springer
- Condition
- New
Related books
Praktische Spannungsoptik
Ludwig Föppl, Ernst Mönch
₹5,043
Praktische Stanzerei Ein Buch Für Betrieb Und Büro Mit Aufgaben Und Lösungen
Eugen Kaczmarek
₹3,623
Towards an Advanced Modelling of Complex Economic Phenomena
Jaime Gil Aluja, Anna M. Gil-Lafuente
₹4,834
Das Späte Alter Und Seine Häufigsten Erkrankungen
J. T. Marcea, M. Bergener, P. Altmeyer
₹5,330
Combinatorial Pattern Matching
Alberto Apostolico, Maxime Crochemore, Zvi Galil
₹5,041
Die Prüfung Nichtmetallischer Baustoffe
K. Alberti, Otto Graf, Erich Siebel
₹3,249
Diagnostische Sicherheit Der Echokardiographie
J. M. Curtius
₹3,508
Handbook of Youth Suicide Prevention
Regina Miranda, Elizabeth L. Jeglic
₹4,058
Information Security and Privacy
Lynn Batten, Jennifer Seberry
₹4,764
Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment
Denis Flandre, Alexei N. Nazarov, Peter L. F. Hemment
₹5,219
Several Complex Variables. Maryland 1970. Proceedings of the International Mathematical Conference, Held at College Park, April 6-17, 1970
John Horvath
₹3,247