| 000 | 01020nam a2200289 a 4500 | ||
|---|---|---|---|
| 005 | 20250913125155.0 | ||
| 008 | 981208s1982 njua 00| 0 eng d | ||
| 039 | 9 |
_a201302221240 _bzaina _c201010071725 _dnorsiah _y08-18-1999 _zload |
|
| 040 | _dUKM | ||
| 090 | _aQA76.6.F658 3 | ||
| 090 |
_aQA76.6 _b.F658 |
||
| 090 |
_aQA76.6 _b.F658 3 |
||
| 245 | 1 | 0 |
_aFormal methods of program verification and specification / _cH.K. Berg ... [et al.]. |
| 260 |
_aEnglewood Cliffs, N.J. : _bPrentice-Hall, _c1982. |
||
| 300 |
_axiv, 207 p. _bill. ; _c24 cm. |
||
| 440 | _aPrentice-Hall software series. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 |
_aComputer programs _xVerification. |
||
| 650 |
_aComputer programs _xSpecifications. |
||
| 700 | 1 | _aBerg, Helmut K. | |
| 907 |
_a.b1080142x _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA76.6.F658 3 |
||
| 914 | _avtls000083265 | ||
| 991 | _aFakulti Sains Matematik | ||
| 998 |
_al _at _b1999-05-08 _cm _da _feng _gnju _y0 _z.b1080142x |
||
| 999 |
_c82006 _d82006 |
||