1. UKM Learning and Research Repository
  2. Master Thesis / Tesis Master
  3. Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat
Please use this identifier to cite or link to this item: https://ptsldigital.ukm.my/jspui/handle/123456789/476056
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMohd. Zaki Haji Ghazali
dc.date.accessioned2023-10-06T09:13:02Z-
dc.date.available2023-10-06T09:13:02Z-
dc.date.issued1996
dc.identifier.otherukmvital:2393
dc.identifier.urihttps://ptsldigital.ukm.my/jspui/handle/123456789/476056-
dc.language.isomay
dc.publisherUKM, Bangi
dc.relationFaculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat
dc.rightsUKM
dc.subjectComputer software - Verifacation
dc.subjectSpesifikasi formal Z
dc.subjectSistem mentahkik
dc.subjectZ(Computer program language)
dc.titleSistem untuk mentahkik spesifikasi formal Z
dc.typetheses
dc.identifier.callno4 QA76.76.V47M69 1996
Appears in Collections:Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat

Files in This Item:
File Description SizeFormat 
ukmvital_2393+ABSTRACT+ABSTRACT.0.PDF
  Restricted Access		868.12 kBAdobe PDFThumbnail
View/Open
Show simple item record Recommend this item


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.