All Categories /
Computers & Technology /
Computer Science

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)

(12)
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
Find in Library

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.

Best prices to buy, sell, or rent ISBN 9783540503026

‌
‌
‌

Related Books

  • 1
  • 2
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
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)
Kim, Nam-Ho; Choi, K. K.
ISBN-13:9780387503028
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926) image
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926)
Edition:2000
ISBN-13:9783540410553

Frequently Asked Questions about 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)

You can buy the 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) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from ‌ and is $‌ for the ‌.

The price for the book starts from $54.60 on Amazon and is available from 10 sellers at the moment.

If you’re interested in selling back the 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) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the 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) book, the best buyback offer comes from ‌ and is $‌ for the book in good condition.‌

‌‌‌‌‌‌‌‌‌‌

Not enough insights yet.

Not enough insights yet.