Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/476056| Title: | Sistem untuk mentahkik spesifikasi formal Z |
| Authors: | Mohd. Zaki Haji Ghazali |
| Keywords: | Computer software - Verifacation Spesifikasi formal Z Sistem mentahkik Z(Computer program language) |
| Issue Date: | 1996 |
| Call Number: | 4 QA76.76.V47M69 1996 |
| Publisher: | UKM, Bangi |
| Appears in Collections: | Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ukmvital_2393+ABSTRACT+ABSTRACT.0.PDF Restricted Access | 868.12 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.