TY  - BOOK
AU  - Maridah Mohamad Shah
TI  - Teknik menganggar bilangan kod baris berasaskan spesifikasi formal Z
PY  - 1998///
CY  - Bangi
PB  - Fakulti Teknologi Dan Sains Maklumat, Universiti Kebangsaan Malaysia
KW  - Estimation theory
KW  - Computer programs
KW  - Z (Computer program language)
N1  - Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1998
ER  -