| 000 | 00597cam a2200181 4500 | ||
|---|---|---|---|
| 005 | 20151014103206.0 | ||
| 008 | 110210t19911991njua 000 0 eng u | ||
| 020 | _a0135399254 | ||
| 050 | 0 | 4 |
_aTK5105.5 _bH65 1991 |
| 100 | 1 |
_aHolzmann, Gerard J., _eautor |
|
| 245 | 1 | 0 |
_aDesing and validation of computer protocols / _cGerard J. Holzmann. |
| 250 | _a1a ed. | ||
| 260 |
_aNew Jersey, NJ.: _bPrentice Hall, _cc1991 |
||
| 300 |
_axii, 500 páginas : _bilustraciones, _c25 cm. |
||
| 504 | _aIncluye bibliografía e índice | ||
| 650 | 7 |
_aRedes de computadores _xDiseño _2Lemb |
|
| 942 |
_2lcc _cLIB |
||
| 999 |
_c74001 _d74001 |
||