| 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 |
||