TY  - BOOK
AU  - Holzmann,Gerard J.
TI  - Desing and validation of computer protocols
SN  - 0135399254
AV  - TK5105.5  H65 1991
PY  - 1991///
CY  - New Jersey, NJ.: 
PB  - Prentice Hall, 
KW  - Redes de computadores
KW  - Diseño
KW  - Lemb
N1  - Incluye bibliografía e índice
ER  -