| 000 | 01586 am a2200325ua 4500 | ||
|---|---|---|---|
| 001 | 010680023 | ||
| 005 | 20091217015300.0 | ||
| 008 | 010131s2001 enk || 001 ||eng | ||
| 020 |
_a0333763270 (pbk.) : _c£17.99 |
||
| 040 |
_aStDuBDS _dUk |
||
| 082 | 0 | 4 |
_a005.133 _221 _bLIG |
| 100 | 1 |
_aLightfoot, David, _d1951- _929207 |
|
| 245 | 1 | 0 |
_aFormal Specification Using Z / _cDavid Lightfoot. |
| 250 | _a2nd ed. | ||
| 260 |
_aBasingstoke : _bPalgrave, _c2001. |
||
| 300 |
_axii,164p. ; _c25cm. |
||
| 490 | 1 |
_aGrassroots series _929208 |
|
| 500 | _aPrevious ed.: Basingstoke : Macmillan, 1991. | ||
| 500 | _aIncludes index. | ||
| 650 | 0 |
_aZ (Computer program language) _929209 |
|
| 650 | 0 |
_aComputer software _xDevelopment. _929210 |
|
| 650 | 0 |
_aFormal methods (Computer science) _929211 |
|
| 653 |
_bCS _cMarch2012 |
||
| 942 |
_2ddc _cBB |
||
| 999 |
_c16542 _d16542 |
||
| 952 |
_w2012-03-05 _p000026308 _r2012-03-05 _40 _epurchase _00 _u27681 _bMAIN _10 _o005.133 LIG _d2012-03-05 _8Baccah _70 _cLIB2 _2ddc _yNB _aMAIN |
||
| 952 |
_p000026309 _40 _epurchase _00 _u27682 _bMAIN _10 _o005.133 LIG _d2012-03-05 _8Baccah _70 _cLIB2 _2ddc _yBB _aMAIN |
||
| 952 |
_p000026310 _40 _epurchase _00 _u27683 _bMAIN _10 _o005.133 LIG _d2012-03-05 _8Baccah _70 _cLIB2 _2ddc _yBB _aMAIN |
||
| 952 |
_p000026312 _40 _epurchase _00 _u27684 _bMAIN _10 _o005.133 LIG _d2012-03-05 _8Baccah _70 _cLIB2 _2ddc _yBB _aMAIN |
||
| 952 |
_w2012-03-05 _p000026311 _r2012-03-05 _40 _epurchase _00 _u27685 _bMAIN _10 _o005.133 LIG _d2012-03-05 _8Baccah _70 _cLIB2 _2ddc _yBB _aMAIN |
||