| 000 | 00504nam a2200181 4500 | ||
|---|---|---|---|
| 005 | 20250626192559.0 | ||
| 008 | 250626b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780521450553 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004.33 _bDAV |
||
| 100 | _aDavies, Jim | ||
| 245 |
_a Specification And Proof In Real Time Csp _cJim Davies |
||
| 260 |
_aCambridge _bCambridge university press _c1993 |
||
| 300 |
_aix, 180 p. _c26 cm. |
||
| 504 | _aindex | ||
| 650 | _a real-time data processing | ||
| 942 | _cENGLISH | ||
| 999 |
_c574078 _d574078 |
||