| 000 | 00530nam a2200169Ia 4500 | ||
|---|---|---|---|
| 999 |
_c4005 _d4005 |
||
| 008 | 161214s9999 xx 000 0 und d | ||
| 020 |
_a0792386841 _chbk |
||
| 082 |
_a005.117 _bSMI |
||
| 100 | _aSmith, Graeme | ||
| 245 | 0 | _aObject-Z Specification Language | |
| 260 |
_aBoston: _bKluwer Academic Publishers, _c2000 |
||
| 300 |
_axiii, 146 p.; _bill.: _c24 cm. |
||
| 365 |
_aINR _b9421.05 |
||
| 490 | _aAdances in formal methods | ||
| 650 | _aObject-oriented programming (Computer science) | ||
| 650 | _aZ (Computer program language) | ||
| 650 | _aSyntactic Constructs | ||
| 650 | _aLanguage Definition | ||
| 650 | _aConcurrent Systems | ||
| 650 | _aConcrete Syntax | ||
| 650 | _aObject-Z | ||
| 942 |
_2ddc _cBK |
||