| 000 | 00919nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1998##################000#0#eng## | ||
| 020 | _a9780792383017 | ||
| 022 | _a98039320 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a621.3981 CER | ||
| 100 | _aCerny, Eduard | ||
| 245 |
_aHierarchical annotated action diagrams : an interface-oriented specification and verification method _cE. Cerny ... [et al.] |
||
| 260 |
_aDordrecht ; Boston _bKluwer Academic Publishers _c1998 |
||
| 300 | _axvi, 211 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references and (p. [173]-181) and index | ||
| 650 | _aComputer input-output equipment - Charts, diagrams, etc | ||
| 650 | _aComputer input-output equipment - Design and construction - Mathematics | ||
| 700 | _aBerkane, B | ||
| 700 | _aGirodias, P | ||
| 700 | _aKhordoc, K | ||
| 990 | _a7619d13bac10000c0e71a9396274c042 | ||
| 991 | _a189100 | ||
| 999 |
_c204317 _d204317 |
||