Program construction and verification

Detalles Bibliográficos
Autor principal: Backhouse, Roland C., 1948- (-)
Formato: Libro
Idioma:Inglés
Publicado: Englewood Cliffs, New Jersey [etc.] : Prentice-Hall International 1986.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001713319703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:xi, 281 p. : il. ; 24 cm
Bibliografía:Bibliogr.: p. 220-223.
ISBN:9780137291533
9780137291465