Carregant...

Formal techniques in real-time and fault tolerant systems /

Dades bibliogràfiques
Autor principal: Joseph, Mathai
Format: Printed Book
Idioma:English
Publicat: New York : Springer , 2000.
Matèries: