000			01011nam a2200289 a 4500
005			20250914094715.0
008			001205s1999 my 000 0 may
039		9	_y12-05-2000 _zazmany
043			_aa-my---
090			_aQA76.6.R63 1999 3 tesis
090			_aQA76.6
100	0		_aRohidah Maskuri
245	1		_aPenggunaan spesifikasi formal sebagai alat pentahkikan perisian / _cRohidah bt Maskuri
260			_aBangi : _bFakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, _c1999
300			_axiii, 146 p. ; _c31 cm.
502			_aTesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
504			_aRujukan: p. 111-112
650		0	_aPrototypes, Engineering
650		0	_aComputer programs _xVerification
907			_a.b12773402 _b2025-07-18 _c2019-11-12
942			_c3 _n0 _kQA76.6.R63 1999 3 tesis
914			_avtls000286983
990			_aaaa
991			_aFakulti Teknologi dan Sains Maklumat
998			_al _b2000-05-12 _cm _dx _fmay _gmy _y0 _z.b12773402
999			_c278001 _d278001