| 000 | 01001nam a2200301 a 4500 | ||
|---|---|---|---|
| 005 | 20250914094854.0 | ||
| 008 | 010126s1996 xxka b 001 0 eng | ||
| 010 | _a96-028030 | ||
| 020 |
_a0471940062 _cRM100.00 |
||
| 039 | 9 |
_y01-26-2001 _zbedah |
|
| 090 | _aQA76.76.D47H374 | ||
| 090 | _aQA76.76 | ||
| 100 | 1 | _aHarry, Andrew. | |
| 245 | 1 | 0 |
_aFormal methods fact file : _bVDM and Z / _cAndrew Harry. |
| 260 |
_aChichester [England] : _bJohn Wiley & Sons, _c1996. |
||
| 300 |
_axv, 386 p.: _bill. ; _c24 cm. |
||
| 440 | 0 | _aWiley series in software engineering practice | |
| 504 | _aIncludes bibliographical references (p. 365-366) and index. | ||
| 650 | 0 |
_aComputer software _xDevelopment. |
|
| 650 | 0 | _aFormal methods (Computer science) | |
| 907 |
_a.b12795707 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA76.76.D47H374 |
||
| 914 | _avtls000289400 | ||
| 990 | _aza | ||
| 991 | _aJabatan Sains Komputer | ||
| 998 |
_at _b2001-01-01 _cm _da _feng _gxxk _y0 _z.b12795707 |
||
| 999 |
_c280219 _d280219 |
||