A carregar...

Formal techniques in real-time and fault tolerant systems /

Detalhes bibliográficos
Autor principal: Joseph, Mathai
Formato: Printed Book
Idioma:English
Publicado em: New York : Springer , 2000.
Assuntos: