Siirry suoraan sisältöön
Formal Techniques in Real-Time and Fault-Tolerant Systems
Tallenna

Formal Techniques in Real-Time and Fault-Tolerant Systems

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.
Toimittaja
Jan Vytopil
Painos
Softcover reprint of the original 1st ed. 1993
ISBN
9781461364146
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
27.9.2012
Sivumäärä
208