| 000 | 00573nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2003 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783540007029 | ||
| 082 | _a004.21 BOR | ||
| 100 | _aBorger, Egon | ||
| 245 |
_aAbstract State Machines: a method for high-level systemdesign and analysis _cEgon Borger |
||
| 260 |
_aBerlin _bSpringer _c2003 |
||
| 300 | _ax, 438p. + 1 CD-ROM | ||
| 650 | _aEmbedded computer systems | ||
| 650 | _aComputer software -- Development | ||
| 650 | _aSystem design. | ||
| 700 | _aStark, Robert | ||
| 906 | _aa9f6a1e3a9fe5f782088b2bfc9fce749 | ||
| 999 |
_c63221 _d63221 |
||