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
L-Functions (English, Davide Lombardo)
₹4,175
Learning Abstract Algebra with Isetl (English, Ed Dubinsky | Uri Leron)
₹3,143
Derivative Securities and Difference Methods (English, You-Lan Zhu | Xiaonan Wu | I-Liang Chern)
₹4,312
Kompetenzen Für Supply Chain Manager (English, Thomas Rudolph | Randy Drenth | Niklas Meise)
₹3,508
Ecografia E Procedure Interventistiche Percutanee (English, Mirko D'Onofrio | Roberto Pozzi Mucelli | Andrea Ruzzenente)
₹3,171
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779Related Products
Neuromuskuläres Monitoring in Klinik Und Forschung (English, Thomas Fuchs-Buder)
₹1,791
Telearbeit Bei Der BMW Group (English, M. Niggl | D. Edfelder | M. Kraupa)
₹5,122
Handbook of Geometric Programming Using Open Geometry Gl (English, Georg Glaeser | Hans-Peter Schröcker)
₹4,140
Mehrschicht-CT (English, Roland Brüning | Axel Küttner | Thomas Flohr)
₹5,330
Un Universo Comprensibile (English, George V. Coyne | Michael Heller)
₹3,009