Laddar...

Formal techniques in real-time and fault tolerant systems /

Bibliografiska uppgifter
Huvudupphovsman: Joseph, Mathai
Materialtyp: Printed Book
Språk:English
Publicerad: New York : Springer , 2000.
Ämnen: