You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
208 pages • paperback • 7 editions
ISBN/UID: 9781461364146
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 27 Sep 2012
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 • paperback
ISBN/UID: 9781461364146
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 27 Sep 2012
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