Formal Techniques in Real-Time and Fault-Tolerant Systems

Name: Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988
Brand: Springer
SKU: 9783540503026
Price: 5492.00 INR
Availability: InStock

Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988

by Mathai Joseph

Springer

₹5,492

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.