| 000 | 00880nam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | vtls000067120 | ||
| 003 | KUKTEM | ||
| 005 | 20251125093403.0 | ||
| 008 | 121128t2001 enka f 001 0 eng d | ||
| 020 | _a9780333763278 (pbk.) | ||
| 020 | _a0333763270 (pbk) | ||
| 039 | 9 |
_a201312051239 _bsaini _y201211281500 _zfarina |
|
| 040 | _aUMP | ||
| 090 | _aQA76.73.Z2 L54 2001 | ||
| 100 | 1 |
_aLightfoot, David, _d1951- |
|
| 245 | 1 | 0 |
_aFormal specification using Z / _cDavid Lightfoot |
| 250 | _a2nd ed. | ||
| 260 |
_aBasingstoke : _bPalgrave Macmillan, _c2001 |
||
| 300 |
_a192 p. : _bill. ; _c25 cm. |
||
| 500 | _aPrevious ed.: 1991 | ||
| 500 | _aIncludes index | ||
| 650 | 0 | _aZ (Computer program language) | |
| 650 | 0 |
_aComputer software _xDevelopment |
|
| 999 |
_aVIRTUA40 _c64250 _d64256 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2500*2600*3000*5000*5001*6500*6501*9992 | ||
| 942 | 0 | 0 | _01 |