Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog / Loh Kah Heng @ Low Kah Heng
Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997Description: 208 p. ; 30 cmSubject(s): Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997| Item type | Current library | Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
| TERHAD | PERPUSTAKAAN LINGKUNGAN KEDUA | PERPUSTAKAAN LINGKUNGAN KEDUA TESIS-P. LINGKUNGAN KEDUA | QA76.73.P76L63 1997 3 tesis (Browse shelf(Opens below)) | 1 | Available | 00001238893 |
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Rujukan: p. 125-127
There are no comments on this title.
Log in to your account to post a comment.
