Design and validation of computer protocols /

Detalles Bibliográficos
Autor principal: Holzmann, Gerard J.
Autor Corporativo: American Telephone and Telegraph Company
Formato: Libro
Lenguaje:English
Publicado: Englewood Cliffs, N.J. : Prentice Hall, c1991.
Colección:Prentice Hall software series
Materias:
Classic Catalogue: View this record in Classic Catalogue

Ejemplares similares