Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph)
Delivery options
₹5,492
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,492
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540503026
ISBN-10
3540503021
Author
Mathai Joseph
About the Book
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. Th…
ISBN: 9783540503026
ISBN-13: 9783540503026
ISBN-10: 3540503021
Frequently Asked Questions
What is the price of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Formal Techniques in Real-Time and Fault-Tolerant Systems starts from ₹5492 at GlowMirror. Available in Paperback.
Who is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Mathai Joseph is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems. Browse more books by Mathai Joseph on GlowMirror.
Is Formal Techniques in Real-Time and Fault-Tolerant Systems available in Paperback and Hardcover?
Yes, Formal Techniques in Real-Time and Fault-Tolerant Systems is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, GlowMirror offers free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, Cash on Delivery (COD) is available for Formal Techniques in Real-Time and Fault-Tolerant Systems on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540503026
🛒 Customers Also Bought
Jahre Der Entwicklung Der Neurochirurgie in Deutschland (English, K. -J Zülch | K. -J Zülch)
₹5,694
Der Hochbau (English, Silvio Mohr)
₹5,122
Psychologie Im Projektmanagement (English, Christoph Lüttge)
₹3,104
L'Ecocardiografia Nella Valvulopatia Mitralica (English, Francesco Fulvio Faletra)
₹4,958
Vero Come La Finzione Vol. 2 (English, Matteo Balestrieri)
₹2,619
Ausgleichsvorgänge in Elektroenergiesystemen (English, Amir M. Miri)
₹4,748Related Products
Benigne Prostatahyperplasie (English, K. Höfner | C. G. Stief | U. Jonas)
₹4,237
Industrie-Rohrleitungsarmaturen (English, Hans J. Kecke | Paul Kleinschmidt)
₹4,374
Psychoanalytische Psychosomatik (English, Hans-Peter Kapfhammer)
₹3,873
Die Mechanisierung Des Weltbildes (English, Eduard J. Dijksterhuis | H. Maier-Leibnitz | Helga Habicht)
₹5,111
Trocknungstechnik Zweiter Band (English, Karl Kröll)
₹5,694