Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331)

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331) image
ISBN-10:

3540503021

ISBN-13:

9783540503026

Edition: 1988
Released: Sep 14, 1988
Publisher: Springer
Format: Paperback, 240 pages
to view more data

Description:

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. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Low Price Summary






Top Bookstores


























We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.

DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.

Want a Better Price Offer?

Set a price alert and get notified when the book starts selling at your price.

Want to Report a Pricing Issue?

Let us know about the pricing issue you've noticed so that we can fix it.