Your search returned 13 results.

Results
	1.	Formal specification using Z / David Lightfoot. by Lightfoot, David, 1951- [author.] Edition: Second edition. Publisher: Basingstoke : Palgrave Macmillan, 2002Copyright date: ©2001 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.Z2L534 3. Place hold
	2.	No cover image available Implementasi penjana model konsepsi Z dengan menggunakan spesifikasi JFLEX dan BYACC/J / Maria Ulfah S. by Maria Ulfah S Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 2007 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.Z2M37 2007 3 tesis. Place hold
	3.	No cover image available Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol / Ahmad Rizal bin Mohd. Yusof by Ahmad Rizal Mohd. Yusof Publication details: Bangi : Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2003 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.64.A35 2003 3 tesis. Place hold
	4.	No cover image available Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol [microform] / Ahmad Rizal bin Mohd. Yusof by Ahmad Rizal Mohd. Yusof Publication details: Bangi : Perpustakaan Tun Seri Lanang, 2004 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.64.A35 2004. Place hold
	5.	No cover image available Reka bentuk alat penterjemahan [microform] : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z / Ainita binti Ban by Ainita Ban Publication details: Bangi : Perpustakaaan Tun Seri Lanang, 2007 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofis tesis QA76.9 N38A56 2007. Place hold
	6.	No cover image available Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z / Ainita binti Ban by Ainita Ban Publication details: Bangi : Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2002 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.N38A56 2002 tesis. Place hold
	7.	No cover image available Sistem untuk mentahkik spesifikasi formal Z / Mohd. Zaki bin Haji Ghazali by Mohd. Zaki Ghazali Publication details: Universiti Kebangsaan Malaysia, Bangi : Fakulti Teknologi dan Sains Maklumat, 1996 Dissertation note: Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47M69 1996 4. Place hold
	8.	No cover image available Sistem untuk mentahkik spesifikasi formal Z [microform] / Mohd. Zaki bin Haji Ghazali by Mohd. Zaki Ghazali Publication details: Bangi : Perpustakaan Tun Seri Lanang, 1997 Dissertation note: Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofis tesis QA76.76.V47M69 1977. Place hold
	9.	Software development with Z: a practical approach to formal methods in software engineering / J. B. Wordsworth. by Wordsworth, J. B Publication details: Reading, Mass.: Addison-Wesley, 1992 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.Z2W67. Place hold
	10.	No cover image available Teknik menganggar bilangan kod baris berasaskan spesifikasi formal Z / Maridah Mohamad Shah by Maridah Mohamad Shah Publication details: Bangi : Fakulti Teknologi Dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1998 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1998 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA276.8.M37 1998 3 tesis. Place hold
	11.	No cover image available Teknik menganggar bilangan kod baris berasaskan spesifikasi formal Z [microform] / Maridah Mohamad Shah by Maridah Mohamad Shah Publication details: Bangi : Perpustakaan Tun Seri Lanang, 1998 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1998 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA276.8.M37 1998. Place hold
	12.	Z in practice Rosalind Barden, Susan Stepney, David Cooper by Barden, Rosalind Series: BCS practitioner series Publication details: Englewood Cliffs, N.J. Prentice-Hall 1994 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.Z2B37. Place hold
	13.	Z user workshop, Oxford 1990 proceedings of the fifth annual Z user meeting, Oxford, 17-18 December, 1990 / J. E. Nicholls (ed.) by Z User Workshop (5th : 1990 : Oxford, England) Nicholls, John E Series: Workshops in computing Publication details: London Springer-Verlag 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.Z2Z2 1990. Place hold

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