| 000 | 01587nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | 4835531 | ||
| 008 | 100308s1991 njua b 001 0 eng d | ||
| 010 | _a\\\90040822 | ||
| 020 | _a0135399254 | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-DhAAL |
||
| 082 | 0 | 0 |
_a004.6/2 _220 |
| 100 | 1 | _aHolzmann, Gerard J. | |
| 245 | 1 | 0 |
_aDesign and validation of computer protocols / _cGerard J. Holzmann. |
| 260 |
_aEnglewood Cliffs, N.J. : _bPrentice Hall, _cc1991. |
||
| 300 |
_axii, 500 p. : _bill. ; _c25 cm. |
||
| 490 | 0 | _aPrentice Hall software series | |
| 500 | _aAt head of title: AT & T. | ||
| 504 | _aIncludes bibliographical references and indexes. | ||
| 650 | 0 |
_aComputer network protocols _xDesign. |
|
| 710 | 2 | _aAmerican Telephone and Telegraph Company. | |
| 999 |
_c7725 _d7725 |
||
| 952 |
_w2010-03-08 _p3010019915 _r2011-05-09 _40 _00 _bBRACUL _10 _o004.6/2 HOL 1991 _d2010-03-08 _t1 _70 _cGEN _2ddc _yBK _s2011-05-09 _l2 _aBRACUL |
||
| 952 |
_w2010-03-08 _p3010019914 _r2010-03-21 _40 _00 _bBRACUL _10 _o004.6/2 HOL 1991 _d2010-03-08 _t2 _70 _cGEN _2ddc _yBK _s2010-03-21 _l2 _aBRACUL |
||
| 952 |
_p3010019913 _40 _00 _bBRACUL _10 _o004.6/2 HOL 1991 _d2010-03-08 _t3 _70 _cGEN _2ddc _yBK _aBRACUL |
||
| 952 |
_p3010019912 _40 _00 _bBRACUL _10 _o004.6/2 HOL 1991 _d2010-03-08 _t4 _70 _cGEN _2ddc _yBK _aBRACUL |
||
| 952 |
_p3010019911 _40 _00 _bBRACUL _10 _o004.6/2 HOL 1991 _d2010-03-08 _t5 _70 _cGEN _2ddc _yBK _aBRACUL |
||