Software development with Z: a practical approach to formal methods in software engineering /

Wordsworth, J. B.

Software development with Z: a practical approach to formal methods in software engineering / J. B. Wordsworth. - Reading, Mass.: Addison-Wesley, 1992. - 334 p. ; 24 cm.

p. 321-324

0201627574


Z (Computer program language).
Computer software--Development.

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