00894nam a2200205 4500 vtls000001246 KUKTEM 20251117141544.0 9834129300 201904291304 AUTHORITY 201107131631 VLOAD 200908140950 VLOAD 200908140929 VLOAD 200606141102 VLOAD UMP QA76.751 .B46 2001 Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian (2001 : UKM, Bangi) Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian, 8 November 2001di Kelab Rekreasi UKM, Bangi : prosiding Bangi, Selangor: Kumpulan Sains Pengaturcaraan UKM, 2001 91 p.; 25 cm Computer software Congresses Computer software Development Congresses Universiti Kebangsaan Malaysia. Kumpulan Sains Pengaturcaraan 0 0 0 0 20000 20000 2019-09-04 0 QA76.751 .B46 2001 0000003959 2019-09-04 00:00:00 2019-09-04 OPEN 19427 19433