Número de Chamada
|
004.6 H762d
|
Autor Principal
|
Holzmann, Gerard J.
|
Título Principal
|
Design and validation of computer protocols / Gerard J. Holzmann
|
Publicação
|
Englewood Cliffs, N.J. : Prentice-Hall, [c1991].
|
Descrição Física
|
xii, 500 p. : il. ; 25 cm
|
Série
|
Prentice-Hall software series
|
ISBN
|
0135399254 (enc.)
|
Assuntos
|
Redes de computadores Protocolos
|
|