Take a photo of a barcode or cover
Read With Others
Book Information
208 pages • hardcover • 7 editions
ISBN/UID: 9780792393320
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 30 Apr 1993
Description
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 fault-tolerance' refers to a system having properties wh...
Community Reviews
Content Warnings
208 pages • hardcover
ISBN/UID: 9780792393320
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 30 Apr 1993
Description
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 fault-tolerance' refers to a system having properties wh...
Community Reviews
Content Warnings