| 000 | 01000 a2200301 4500 | ||
|---|---|---|---|
| 001 | 10807 | ||
| 999 |
_c10807 _d754 |
||
| 003 | TR-AnTOB | ||
| 005 | 20200701111416.0 | ||
| 008 | 030930s2004 gw b 001 0 eng | ||
| 010 | _a2003066406 | ||
| 020 | _a3540408231 (hardcover : acid-free paper) | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aeng | ||
| 042 | _apcc | ||
| 050 | 0 |
_aQA76.54 _b.Z46 2004 |
|
| 090 | _aQA76.54 .Z46 2004 | ||
| 100 |
_aZhou, Chaochen, _d1937- _92252 |
||
| 245 | 0 |
_aDuration calculus : _ba formal approach to real-time systems / _cChaochen Zhou, Michael R. Hansen. |
|
| 264 | 1 |
_aBerlin : _aNew York : _bSpringer, _cc2004. |
|
| 300 |
_ax, 247 p. ; _c25 cm. |
||
| 490 | 0 | _aEATCS monographs on theoretical computer science | |
| 504 | _aIncludes bibliographical references (p. [227]-237) and indexes. | ||
| 650 | 0 |
_aReal-time data processing _92254 |
|
| 650 |
_aMathematics _xData processing _9926 |
||
| 650 |
_aFormal methods (Computer science) _92255 |
||
| 700 |
_aHansen, Michael R., _d1956- _92253 |
||
| 942 | _cBK | ||