| 000 | 00492nam a22001697a 4500 | ||
|---|---|---|---|
| 999 |
_c15382 _d15382 |
||
| 008 | 220905b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780521883337 | ||
| 040 | _cSUZA | ||
| 082 |
_222 _a004.33 OLD |
||
| 100 | _aOLDEROG, Ernst-Rudiger | ||
| 245 |
_aReal-time Systems _bFormal Specification and Automatic Verfication |
||
| 260 |
_aUnited State of America _bCambridge _c2008 |
||
| 300 |
_axvi,320pp _bIllustration _c25cm |
||
| 650 | _2System | ||
| 700 | _aHenning Dierks | ||
| 942 |
_2ddc _cBK |
||