| 000 | 00841pam a22002414a 4500 | ||
|---|---|---|---|
| 999 |
_c5792 _d5792 |
||
| 010 | _a 96004347 | ||
| 020 | _a0139484728 (pbk. : alk. paper) | ||
| 082 | 0 | 0 | _a005.1/2 |
| 100 | 1 |
_aWoodcock, Jim. _937639 |
|
| 245 | 1 | 0 |
_aUsing Z : _bspecification, refinement, and proof / _cJim Woodcock and Jim Davies. |
| 260 |
_aLondon ; _aNew York : _bPrentice Hall, _c1996. |
||
| 300 |
_aix, 386 p. : _bill ; _c24 cm. |
||
| 490 | 1 | _aPrentice-Hall international series in computer science | |
| 500 | _aIncludes index. | ||
| 526 | _aCSCI325 | ||
| 650 | 0 |
_aZ (Computer program language) _937640 |
|
| 700 | 1 |
_aDavies, Jim, _d1964- _937641 |
|
| 830 | 0 |
_aPrentice-Hall international series in computer science. _937642 |
|
| 856 |
_uhttps://uowd.box.com/s/uvqpalghdnyg3zrptbg7kanhq4bnfrax _zLocation Map |
||