Gå direkte til innholdet
Formal Techniques in Real-Time and Fault-Tolerant Systems
Spar

Formal Techniques in Real-Time and Fault-Tolerant Systems

1 767,-
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
Opplag
Softcover reprint of the original 1st ed. 1993
ISBN
9781461364146
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
27.9.2012
Antall sider
208