Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol
Ahmad Rizal Mohd. Yusof
Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol [microform] / Ahmad Rizal bin Mohd. Yusof - Bangi : Perpustakaan Tun Seri Lanang, 2004 - 1 microfilm reel ; 35 mm.
Tesis ini disertakan dengan satu CD yang mempunyai nombor panggilan yang sama dan di tempatkan di Bahagian Perkhidmatan Maklumat
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003
Universiti Kebangsaan Malaysia--Dissertations
Object-oriented programming (Computer science)
Z (Computer program language)
Dissertations, Academic--Malaysia
Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol [microform] / Ahmad Rizal bin Mohd. Yusof - Bangi : Perpustakaan Tun Seri Lanang, 2004 - 1 microfilm reel ; 35 mm.
Tesis ini disertakan dengan satu CD yang mempunyai nombor panggilan yang sama dan di tempatkan di Bahagian Perkhidmatan Maklumat
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003
Universiti Kebangsaan Malaysia--Dissertations
Object-oriented programming (Computer science)
Z (Computer program language)
Dissertations, Academic--Malaysia
