Ahmad Rizal Mohd. Yusof <br/><br/>
Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol / 
Ahmad Rizal bin Mohd. Yusof 
 - Bangi :  Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia,  2003 
 - xiii, 129 p. :  ill. ;  30 cm + 1 computer laser optical disc ( 4 3/4 in.) 
<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/>Rujukan : p. 98-102 
<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