Real-time systems specification, verification, and analysis

Detalles Bibliográficos
Otros Autores: Joseph, Mathai (-)
Formato: Libro
Idioma:Inglés
Publicado: London [etc.] : Prentice-Hall 1996.
Colección:Prentice-Hall International Series in Computer Science
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001798149703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice.
Descripción Física:XIII, 278 p. ; 24 cm
Bibliografía:Bibliogr.: p. 259-271
ISBN:9780134552972