| 000 | 00953pam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | vtls000313513 | ||
| 003 | UG-KaMUL | ||
| 005 | 20250609165016.0 | ||
| 010 | _a 92-006090 | ||
| 020 |
_a 0139785299 : _c _18.99 |
||
| 039 | 9 |
_a 201303051442 _b 902 _c 201303051440 _d 902 _y 201303051437 _z 902 |
|
| 040 |
_a DLC _c DLC _d DLC _d UG-KaMUL |
||
| 082 | 0 | 0 |
_a 005.1/1 _2 20 |
| 092 | _a 005.11 SPI | ||
| 100 | 1 | _a Spivey, J. M. | |
| 245 | 1 | 4 |
_a The Z notation : _b a reference manual / _c J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. |
| 250 | _a 2nd ed. | ||
| 260 |
_a New York : _b Prentice Hall, _c 1992. |
||
| 300 |
_a xi, 158 p. ; _c 24 cm. |
||
| 490 | 1 | _a Prentice Hall international series in computer science | |
| 500 | _a Includes indexes. | ||
| 650 | 0 | _a Z (Computer program language) | |
| 830 | 0 | _a Prentice-Hall international series in computer science. | |
| 942 |
_2ddc _cBK |
||
| 999 |
_c322912 _d322912 |
||