| 000 | 00831nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1998##################000#0#eng## | ||
| 020 | _a9780792382843 | ||
| 022 | _a98039003 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.62 LAI | ||
| 100 | _aLai, Richard | ||
| 245 |
_aCommunication protocol specification and verification _cby Richard Lai, Ajin Jirachiefpattana |
||
| 260 |
_aDeventer, The Netherlands ; Boston, MA _bKluwer Academic _cc1998 |
||
| 300 | _axxii, 304 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer network protocols - Specifications | ||
| 650 | _aComputer programs - Verification | ||
| 650 | _aLOTOS (Computer program language) | ||
| 700 | _aAjin Jirachiefpattana | ||
| 990 | _aab85924cac10000c1d12d40a22e5aae2 | ||
| 991 | _a60961 | ||
| 999 |
_c134031 _d134031 |
||