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
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Exportgeschäft Von A-Z (English, Rainer Völkel)
₹3,249
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601Related Products
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
The Homotopy Theory of (∞,1)-Categories (English, Julia E. Bergner)
₹14,706
The Practice of Electrocardiography (English, Thomas M. Blake)
₹5,612
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462