Rohidah Maskuri

Penggunaan spesifikasi formal sebagai alat pentahkikan perisian [microform] / Rohidah bt Maskuri - Bangi : Perpustakaan Tun Seri Lanang, 2004 - 1 microfilm reel ; 35 mm.

Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999


Prototypes, Engineering
Computer programs--Verification