Maridah Mohamad Shah <br/><br/>
Teknik menganggar bilangan kod baris berasaskan spesifikasi formal Z / 
Maridah Mohamad Shah 
 - Bangi :  Fakulti Teknologi Dan Sains Maklumat, Universiti Kebangsaan Malaysia,  1998 
 - ix, 159 p. :  ill. ;  30 cm. 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1998 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Estimation theory--Computer programs<br/>Z (Computer program language)