Gå direkt till innehållet
Formal Techniques in Real-Time and Fault-Tolerant Systems
Spara

Formal Techniques in Real-Time and Fault-Tolerant Systems

Lägsta pris på PriceRunner
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.
Redaktör
Jan Vytopil
Upplaga
Softcover reprint of the original 1st ed. 1993
ISBN
9781461364146
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-09-27
Sidor
208