| 000 | 00922cam a2200265Ia 4500 | ||
|---|---|---|---|
| 001 | u8155 | ||
| 003 | SIRSI | ||
| 005 | 20180220094333.0 | ||
| 008 | 970907s1992 enka b 001 0 eng d | ||
| 020 | _a0201627574 | ||
| 039 | 9 |
_y200203190947 _zload |
|
| 040 | _aEAL. | ||
| 050 |
_aQA76.73.Z2 _bW67 1992 |
||
| 100 | 1 | _aWordsworth, J. B. | |
| 245 | 1 | 0 |
_aSoftware development with Z : _ba practical approach to formal methods in software engineering / _cJ.B/Wordsworth. |
| 260 | 0 |
_aWokingham, England ; _aReading, Mass. : _bAddison-Wesley pub.co., _c1992 |
|
| 300 |
_axii, 334 p. : _bill. ; _c24 cm. |
||
| 440 | 0 | _aInternational computer science series | |
| 504 | _aIncludes bibliographical references (p. 321-324) and index. | ||
| 596 | _a1 | ||
| 650 | 0 | _aZ (Computer program language) | |
| 650 | 0 |
_aComputer software _xDevelopment. |
|
| 910 | _asae12/96. | ||
| 942 |
_cBK _2lcc |
||
| 999 |
_c34197 _d34197 |
||