| 000 | 00530nam a2200181Ia 4500 | ||
|---|---|---|---|
| 999 |
_c25706 _d25706 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a354043447X _chbk |
||
| 082 |
_a003.83 _bBAE |
||
| 100 | _aBaeten, J. C. M | ||
| 245 | 0 | _aProcess algebra with timing | |
| 260 |
_aBerlin: _bSpringer, _c2002 |
||
| 300 |
_axvii, 287 p. : _bill. ; _c24 cm. |
||
| 365 |
_aINR _b3740.88/ $ 57.95 |
||
| 490 | _aMonographs in theoretical computer science | ||
| 504 | _aIncludes bibliographical references (p. [275]-278) and index. | ||
| 650 | _aComputer science - Mathematics | ||
| 650 | _aDiscrete-time systems | ||
| 650 | _aSystem design | ||
| 650 | _aAlgebra | ||
| 650 | _aAlgebra - Data processing | ||
| 650 | _aData structures (Computer science) | ||
| 700 | _aMiddelburg, C. A. | ||
| 942 |
_2ddc _cBK |
||