000 00981nam a2200241 a 4500
008 981208s1997 my m 00 eng
040 _aUKM
090 _aQA76.76.T48
_bA35 1997 tesis[00008051217]
100 1 _aal-Amayreh, Ahmed Abedl Rahman
_949480
245 1 0 _aProbe :
_ba formal specification-based testing system /
_cAhmad Abedl Rahman Al-amayreh
260 _aBangi :
_bFakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia,
_c1997.
300 _a118 p. :
_bill. ;
_c30 cm.
502 _aThesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
650 0 _aComputer software
_xTesting.
650 0 _aPROBE Project.
650 0 _aProlog (Computer program language).
907 _a.b11871878
_b2023-09-06
_c2019-11-12
942 _c3
_n0
_kQA76.76.T48 A35 1997 tesis[00008051217]
914 _avtls000193612
991 _aPejabat Dekan Fakulti Teknologi & Sains Makalumat
990 _altm
998 _at
_b1999-05-08
_cm
_dx
_feng
_gmy
_y0
_z.b11871878
999 _c188772
_d188772