Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/476084Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Muhammad Mat Salleh | |
| dc.contributor.author | Loh Kah Heng @ Low Kah Heng | |
| dc.date.accessioned | 2023-10-06T09:13:23Z | - |
| dc.date.available | 2023-10-06T09:13:23Z | - |
| dc.date.issued | 1997 | |
| dc.identifier.other | ukmvital:2924 | |
| dc.identifier.uri | https://ptsldigital.ukm.my/jspui/handle/123456789/476084 | - |
| dc.language.iso | may | |
| dc.publisher | UKM, Bangi | |
| dc.relation | Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat | |
| dc.rights | UKM | |
| dc.title | Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog. | |
| dc.type | theses | |
| dc.identifier.callno | QA76.73.P76L63 1997 | |
| 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.