✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) - Image 1 - BookBajar

Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph)

by Mathai Joseph

Delivery options

₹5,492
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Ships same day. Delivery in 3-4 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 BookBajar. Available in Paperback. This is one of the best prices available online in India.
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 BookBajar.
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 BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
ISBN-10: 3540503021. ISBN-13: 9783540503026. Buy Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) online. Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) price in India. Mathai Joseph books. Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) best price. Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) free delivery India. Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph) BookBajar.
Product ID: isbn-9783540503026