Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog / Loh Kah Heng @ Low Kah Heng

By: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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.

to post a comment.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library