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 |