| 000 | 00499 a2200157 4500 | ||
|---|---|---|---|
| 008 | 090330t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9 780521 559768 | ||
| 082 | _a004.43 JAC | ||
| 100 |
_aJacky, Jonathan _94598 |
||
| 245 |
_aThe way of Z: practical programming with formal methods _cJonathan Jacky |
||
| 260 |
_aCambridge _bCambridge University press _c1997 |
||
| 300 | _axviii, 350p. | ||
| 650 |
_aZ (Computer program language) _94599 |
||
| 700 |
_aJacky, Jonathan _94600 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c85347 _d85347 |
||