TY  - BOOK
AU  - Ahmad Rizal Mohd. Yusof
TI  - Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol
PY  - 2004///
CY  - Bangi
PB  - Perpustakaan Tun Seri Lanang
KW  - Universiti Kebangsaan Malaysia
KW  - Dissertations
KW  - Object-oriented programming (Computer science)
KW  - Z (Computer program language)
KW  - Dissertations, Academic
KW  - Malaysia
N1  - 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
ER  -