Ahmad Rizal Mohd. Yusof <br/><br/>
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. 
<br/><br/> Tesis ini disertakan dengan satu CD yang mempunyai nombor panggilan yang sama dan di tempatkan di Bahagian Perkhidmatan Maklumat 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003 
<br/><br/><label>Subjects--Corporate Names: </label><br/>Universiti Kebangsaan Malaysia--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Object-oriented programming (Computer science)<br/>Z (Computer program language)<br/>Dissertations, Academic--Malaysia