| 000 | 01168 am a2200289 a 4500 | ||
|---|---|---|---|
| 005 | 20221124143254.0 | ||
| 008 | 910625s1991 enka r 001 eng | ||
| 020 |
_a9780333544082 pbk _qpaperback |
||
| 020 |
_a9780333544082 pbk _c£13.99 _qpaperback |
||
| 040 | _dOCoLC | ||
| 100 | 1 |
_aLightfoot, David, _d1951- |
|
| 245 | 1 | 0 |
_aFormal specification using Z / _cDavid Lightfoot |
| 260 |
_aBasingstoke : _bMacmillan, _c1991 |
||
| 300 |
_axi,164p : _bill ; _c24cm |
||
| 504 | _aIncludes index. | ||
| 520 | 8 | _aAims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises. | |
| 650 | 0 |
_aProgramming languages (Electronic computers) _911636 |
|
| 650 | 7 |
_aProgramming & scripting languages: general _2thema |
|
| 650 | 7 |
_aMathematical theory of computation _2thema |
|
| 902 | _a170103 | ||
| 907 |
_a.b10216145 _bm _c- |
||
| 942 | _n0 | ||
| 969 | 0 | 0 | _a26235 |
| 979 | 0 | 0 |
_aAW _b23 AUG 1993 |
| 989 | 0 | 0 |
_aAW _b29 OCT 1993 |
| 998 |
_b2 _c001215 _dm _ea _f- _g0 |
||
| 999 |
_c14664 _d14664 |
||