| 000 | 01048nam a2200277 a 4500 | ||
|---|---|---|---|
| 005 | 20250930112619.0 | ||
| 008 | 010216s1997 my a m 000 0 may | ||
| 039 | 9 |
_y02-16-2001 _ztmleng |
|
| 090 | _aQA76.73.P76L63 1997 3 tesis | ||
| 090 | _aQA76.73 | ||
| 100 | 1 |
_aLoh Kah Heng @ Low Kah Heng _951172 |
|
| 245 | 1 | 0 |
_aSatu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog / _cLoh Kah Heng @ Low Kah Heng |
| 260 |
_aBangi : _bFakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, _c1997 |
||
| 300 |
_a208 p. ; _c30 cm. |
||
| 502 | _aTesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997 | ||
| 504 | _aRujukan: p. 125-127 | ||
| 650 | 0 | _aProlog (Computer program language) | |
| 650 | 0 | _aLogic programming | |
| 907 |
_a.b12807291 _b2025-07-18 _c2019-11-12 |
||
| 942 |
_c3 _n0 _kQA76.73.P76L63 1997 3 tesis |
||
| 914 | _avtls000290620 | ||
| 990 | _altm | ||
| 991 | _aFakulti Teknologi dan Sains Maklumat | ||
| 998 |
_al _b2001-03-02 _cm _dx _fmay _gmy _y0 _z.b12807291 |
||
| 999 |
_c281360 _d281360 |
||