Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

Book Overview

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540584684
• ISBN13: 9783540584681
• Release Date: January 1994
• Publisher: Springer
• Length: 787 Pages
• Weight: 2.46 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"