Penggunaan spesifikasi formal sebagai alat pentahkikan perisian /
Rohidah Maskuri
Penggunaan spesifikasi formal sebagai alat pentahkikan perisian / Rohidah bt Maskuri - Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1999 - xiii, 146 p. ; 31 cm.
Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
Rujukan: p. 111-112
Prototypes, Engineering
Computer programs--Verification
Penggunaan spesifikasi formal sebagai alat pentahkikan perisian / Rohidah bt Maskuri - Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1999 - xiii, 146 p. ; 31 cm.
Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
Rujukan: p. 111-112
Prototypes, Engineering
Computer programs--Verification