Browse By Department
The Springer International Engineering a Formal Techniques in Real-Time and Fault-Tolerant Systems Book 221 (Paperback)
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 which...
$152.31 Free Delivery