Software prototyping, formal methods and VDM

Detalles Bibliográficos
Autor principal: Hekmatpour, Sharam (-)
Otros Autores: Ince, D. (Darrel)
Formato: Libro
Idioma:Inglés
Publicado: Wokingham [etc.] : Addison-Wesley 1988.
Colección:International Computer Science Series
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991000897319703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:X, 222 p. ; 24 cm
Bibliografía:Bibliogr.: p. 138-153
ISBN:9780201175721