| 000 | 00670nam a22002171a 4500 | ||
|---|---|---|---|
| 999 |
_c38386 _d38386 |
||
| 003 | USJPLib | ||
| 008 | 140924b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780134787022 | ||
| 041 | _aEng. | ||
| 082 |
_a005.12 _bPOT |
||
| 100 |
_aPotter, Ben _949071 |
||
| 700 |
_aSinclair, Jane _949072 |
||
| 700 |
_aTill, David _949073 |
||
| 245 |
_aAn introduction to formal specification and z _h[Text] _cPatter, Ben |
||
| 260 |
_bPrentice Hall _aNew York _c1991 |
||
| 300 |
_axiii, 304 p. _bill, _c23 cm. |
||
| 440 |
_aPrentice Hall International Series in Computer Science _98065 |
||
| 650 |
_aComputer science _9998 |
||
| 650 |
_asoftware development _994578 |
||
| 942 |
_2ddc _cLM |
||