| 000 | 00491nam a2200217Ia 4500 | ||
|---|---|---|---|
| 005 | 20250612094606.0 | ||
| 020 | _a9780139484728 | ||
| 041 | _aEnglish | ||
| 082 | _a005.1 WOO | ||
| 100 | _aWOODCOCK AND DAVIES | ||
| 245 | _aUSING Z SPECIFICATION REFINEMENT AND PROOF | ||
| 250 | _a1 | ||
| 260 |
_bPHI _c1996 |
||
| 300 |
_b0 _fPaper |
||
| 365 |
_b2584 _dRupees |
||
| 366 | _eGIFT | ||
| 541 |
_aDONATION _cSupplier |
||
| 652 | _aSOFTWARE | ||
| 852 | _aCENTRAL LIBRARY | ||
| 942 | _cBK | ||
| 999 |
_c104450 _d104450 |
||