Z an introduction to formal methods

Detalles Bibliográficos
Autor principal: Diller, Antoni (-)
Formato: Libro
Idioma:Inglés
Publicado: Chichester [etc.] : John Wiley & Sons 1991.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001666449703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:XXI, 309 p. ; 25 cm
Bibliografía:Bibliogr.: p. 289-299
ISBN:9780471924890