000 | 00764cam a22002297a 4500 | ||
---|---|---|---|
999 |
_c169 _d169 |
||
001 | 15613872 | ||
008 | 090205s2008 enka b 001 0 eng | ||
010 | _a 2009275615 | ||
020 | _a0521883334 (hbk.) | ||
020 | _a9780521883337 (hbk.) | ||
040 |
_aUKM _cUKM _dBTCTA _dBAKER _dBWKUK _dBWK _dYDXCP _dBWX _dCDX _dDLC |
||
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. |
||
500 | _aINDEX | ||
650 | 0 | _aReal-time data processing. | |
700 | 1 | _aDierks, H. | |
942 |
_2ddc _cBK |