000 01019naa a2200229 a 4500
005 20250930141024.0
008 151221s2002 my 000 0 may d
039 9 _a201902071026
_bhayat
_c201512231554
_ddaus
_c201512231535
_ddaus
_c201512222215
_dzaiful
_y12-21-2015
_zdaus
040 _aUKM
090 _aLG173.
_bK82.S423 2002
100 0 _aZarina Shukur.
_951595
245 1 0 _aPembangunan sistem bagi menyokong aplikasi perkaedahan formal dalam kejuruteraan perisian
_h[article] /
_cZarina Shukur, Abdullah Mohd. Zin, Abd. Malik Yusof.
500 _aPTSL Koleksi Asia Tenggara (Jilid 1 : Pages 104 - 106).
700 0 _aAbdullah Mohd. Zin.
_933429
700 0 _aAbd. Malik Yusof.
773 0 _tProsiding Seminar IRPA RMK-7 2002 [article] /
_dBangi : Pusat Pengurusan Penyelidikan, Universiti Kebangsaan Malaysia, 2002.
907 _a.b16246743
_b2019-11-14
_c2019-11-12
942 _n0
_kLG173. K82.S423 2002
914 _avtls003597584
998 _anone
_b2015-08-12
_ca
_da
_fmay
_gmy
_y0
_z.b16246743
999 _c602350
_d602350