Design and validation of computer protocols

Detalles Bibliográficos
Autor principal: Holzmann, Gerard J. (-)
Autor Corporativo: American Telephone and Telegraph Company (-)
Formato: Libro
Idioma:Inglés
Publicado: Englewood Cliffs, New Jersey : Prentice-Hall 1991.
Colección:Prentice-Hall Software Series
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001705519703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:At head of title: AT & T.
Indices
Descripción Física:xii, 500 p. : il. ; 25 cm
Bibliografía:Bibliografía
ISBN:9780135399255