000			00894nam a2200205 4500
001			vtls000001246
003			KUKTEM
005			20251117141544.0
020			_a9834129300
039		9	_a201904291304 _bAUTHORITY _c201107131631 _dVLOAD _c200908140950 _dVLOAD _c200908140929 _dVLOAD _y200606141102 _zVLOAD
040			_aUMP
090			_aQA76.751 .B46 2001
111	2		_aBengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian _d(2001 : _cUKM, Bangi)
245	0	0	_aBengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian, 8 November 2001di Kelab Rekreasi UKM, Bangi : _b prosiding
260			_aBangi, Selangor: _bKumpulan Sains Pengaturcaraan UKM, _c 2001
300			_a91 p.; _c 25 cm
650	0	0	_aComputer software _vCongresses
650	0	0	_aComputer software _xDevelopment _vCongresses
710	2	2	_aUniversiti Kebangsaan Malaysia. Kumpulan Sains Pengaturcaraan
999			_c19427 _d19433