Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/476084| Title: | Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog. |
| Authors: | Loh Kah Heng @ Low Kah Heng |
| Supervisor: | Muhammad Mat Salleh |
| Issue Date: | 1997 |
| Call Number: | QA76.73.P76L63 1997 |
| Publisher: | UKM, Bangi |
| URI: | https://ptsldigital.ukm.my/jspui/handle/123456789/476084 |
| Appears in Collections: | Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ukmvital_2924+ABSTRACT+ABSTRACT.0.PDF Restricted Access | 853.54 kB | Adobe PDF |  View/Open | |
| ukmvital_2924+Source+Source.0.PDF Restricted Access | 9.08 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.