TY  - BOOK
AU  - Bahari Idrus
TI  - Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE
PY  - 2004///
CY  - Bangi
PB  - Perpustakaan Tun Seri Lanang
KW  - Computer-aided software engineering
KW  - Computer software
KW  - Development
N1  - Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996
ER  -