Formal techniques in real-time and fault tolerant systems /

Detalles Bibliográficos
Autor principal: Joseph, Mathai
Formato: Printed Book
Lenguaje:English
Publicado: New York : Springer , 2000.
Materias:
Real-time systems

Ejemplares similares