Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Mathai Joseph)
Delivery options
Formal Techniques in Real-Time and Fault-Tolerant Systems by Mathai Joseph is listed under Springer on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Formal Techniques in Real-Time and Fault-Tolerant Systems
- ·Ideas and detail relevant to Springer
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Springer, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
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.
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.
What is BookBajar's return policy on Formal Techniques in Real-Time and Fault-Tolerant Systems?
Formal Techniques in Real-Time and Fault-Tolerant Systems can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Formal Techniques in Real-Time and Fault-Tolerant Systems has ISBN 9783540503026 (ISBN-10: 3540503021). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Formal Techniques in Real-Time and Fault-Tolerant Systems?
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.
Product ID: isbn-9783540503026
🛒 Customers Also Bought
Die Pumpen (English, Hellmuth Schulz)
₹4,374
Hearing - From Sensory Processing to Perception (English, B. Kollmeier | G. Klump | V. Hohmann)
₹4,990
Transformation Von Banken (English, Rainer Alt | Beat Bernet | Thomas Zerndt)
₹3,143
Lebermetastasen (English, T. J. Vogl | M. G. Mack | J. O. Balzer)
₹5,694
Chirurgische Diagnostik (English, E. Stahl | U. Nagel | L. F. Hollender)
₹4,601
Magnetic Resonance Imaging of the Knee (English, Mamoru Niitsu | Ali Guermazi | Daichi Hayashi)
₹4,360Related Products
Mechanics of Terrestrial Locomotion (English, Klaus Zimmermann | Igor Zeidis | Carsten Behn)
₹5,593
Grundlagen Der Klassischen Triz (English, Michael A. Orloff)
₹5,498
Fluidmechanik (English, Erich A. Truckenbrodt)
₹4,280
Partial Differential Equations I (English, Michael E. Taylor)
₹4,729
Persönlichkeit (English, Julian B. Rotter | Petra Baumann-Frankenberger | D. J. Hochreich)
₹4,918