Loading...

Formal techniques in real-time and fault tolerant systems /

Bibliografiske detaljer
Hovedforfatter: Joseph, Mathai
Format: Printed Book
Sprog:English
Udgivet: New York : Springer , 2000.
Fag: