| 000 | 00579nam a22001817a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20221125153342.0 | ||
| 008 | 120908b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521559766 | ||
| 040 |
_aDBITLRC _bEnglish _cDBITLRC |
||
| 082 |
_222 _a005.12 _bJAC/WAY |
||
| 100 |
_aJonathan, Jacky., _964 |
||
| 245 |
_aThe Way of Z: _bPractical Programming with Formal Methods _cJonathan, Jacky |
||
| 260 |
_aNew York: _bCmbridge University Press, _cc1997. |
||
| 300 |
_axviii, 350 p.: _bill.; |
||
| 504 | _aThis book is having bibliography328-339 from page | ||
| 942 |
_2ddc _cREFERENCE |
||
| 999 |
_c35 _d35 |
||