Your search returned 2 results.

Sort
Results
1.
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, 1997
Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.P76L63 1997 3 tesis.

2.
Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr / Loh Kah Heng @ Low Kah Heng by Publisher: Bangi : Perpustakaan Tun Seri Lanang, 2004
Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.73.P76L63 2004.

Pages

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