Holzmann, Gerard J., <br/><br/>
Desing and validation of computer protocols / 
Gerard J. Holzmann. 
 - 1a ed. 
 - New Jersey, NJ.:   Prentice Hall,   c1991 
 - xii, 500 páginas :   ilustraciones,  25 cm. 
<br/><br/>Incluye bibliografía e índice 
<br/><br/><label>ISBN: </label>0135399254 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Redes de computadores --Diseño 
<br/><br/><label>LC Class. No.: </label>TK5105.5   / H65 1991