| 000 | 00763cam a2200229 a 4500 | ||
|---|---|---|---|
| 999 |
_c6078 _d6078 |
||
| 001 | 23637 | ||
| 010 | _a 94004943 | ||
| 020 | _a0471939730 : | ||
| 040 | _aDLC | ||
| 082 | 0 | 0 | _a005.1/2 |
| 100 | 1 |
_aDiller, Antoni. _937742 |
|
| 245 | 1 | 0 |
_aZ : _ban introduction to formal methods / _cAntoni Diller. |
| 250 | _a2nd ed. | ||
| 260 |
_aChichester, West Sussex, England ; _aNew York : _bWiley & Sons, _c1994. |
||
| 300 |
_axix, 374 p. : _bill ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references (p. 357-362) and index. | ||
| 526 | _aCSCI325 | ||
| 650 | 0 |
_aZ (Computer program language) _937640 |
|
| 650 | 0 |
_aFormal methods (Computer science) _937711 |
|
| 856 |
_uhttps://uowd.box.com/s/mskb7tbhnm3pugaj7r20iupspc28xd9n _zLocation Map |
||
| 942 |
_cREGULAR _2ddc |
||