TY  - BOOK
AU  - Bahari Idrus
TI  - Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE
PY  - 1996///
CY  - Bangi
PB  - Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia
KW  - Computer-aided software engineering
KW  - Computer software
KW  - Development
N1  - Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996; p. 98-99
ER  -