| 000 | 00760cam a2200217 a 4500 | ||
|---|---|---|---|
| 999 |
_c1071 _d1071 |
||
| 001 | 233543794 | ||
| 008 | 080625s2008 enka b 001 0 eng | ||
| 010 | _a2009275615 | ||
| 020 | _a0521883334 (hbk.) | ||
| 020 | _a9780521883337 (hbk.) | ||
| 040 |
_aUKM _cUKM _dBTCTA _dBAKER _dBWKUK _dBWK _dYDXCP _dBWX _dCDX _dIAY _dNDD _dDLC _dCIN |
||
| 050 | 0 | 0 |
_aQA76.54 _b.O43 2008 |
| 082 | 0 | 4 |
_a004.33 _222 |
| 100 | 1 | _aOlderog, E.-R | |
| 245 | 1 | 0 |
_aReal-time systems : _bformal specification and automatic verification / _cErnst-R©ơdiger Olderog and Henning Dierks |
| 260 |
_aCambridge, UK ; _aNew York : _bCambridge University Press, _c2008 |
||
| 300 |
_axvi, 320 p. : _bill. ; _c26 cm |
||
| 650 | 0 | _aReal-time data processing | |
| 700 | 1 | _aDierks, Henning | |
| 942 |
_2ddc _cBK |
||