| 000 | 01264nam a2200325 a 4500 | ||
|---|---|---|---|
| 005 | 20250930134630.0 | ||
| 008 | 130618s1979 cau i001 0 eng d | ||
| 020 | _cHadiah | ||
| 039 | 9 |
_a201308291508 _bwahida _y06-18-2013 _zasrul |
|
| 040 | _aUKM | ||
| 090 |
_aRAND 7 _bN-1429-ARPA/NBS 1979 |
||
| 100 | 1 | _aSunshine, Carl A. | |
| 245 | 1 | 0 |
_aFormal methods for communication protocol specification and verification / _cCarl A. Sunshine ; prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards. |
| 260 |
_aCalifornia : _bRand Corporation, _c1979. |
||
| 300 |
_aix, 93 p. ; _c28 cm. |
||
| 490 | 1 |
_aA Rand note ; _vN-1429-ARPA/NBS |
|
| 504 | _aIncludes bibliographical references (p.48-61) and index | ||
| 650 | 0 |
_aComputer networks _959483 |
|
| 710 | 1 |
_aUnited States. _bDefense Advanced Research Projects Agency |
|
| 710 | 2 |
_aRand Corporation. _947392 |
|
| 710 | 1 |
_aUnited States. _bNational Bureau of Standards |
|
| 830 | 0 |
_aRand note ; _vN-1429-ARPA/NBS. |
|
| 907 |
_a.b15663140 _b2022-11-09 _c2019-11-12 |
||
| 942 |
_c4 _n0 _kRAND 7 N-1429-ARPA/NBS 1979 |
||
| 914 | _avtls003532922 | ||
| 990 | _aasr | ||
| 991 | _aKoleksi Dokumen | ||
| 998 |
_at _b2013-05-06 _cm _da _feng _gcau _y0 _z.b15663140 |
||
| 999 |
_c549014 _d549014 |
||