Formal methods fact file : VDM and Z /

Harry, Andrew

Formal methods fact file : VDM and Z / Harry Andrew - Chichester: John Wiley & Sons, 1996 - xv, 386 p.: ill.; 23 cm.

Includes glossary and index

0471958573


Computer software--Development

Perpustakaan Universiti Malaysia Pahang Al-Sultan Abdullah
26600 Pekan, Pahang Darul Makmur
Phone: +609 431 5063 (Gambang) / +609 431 5035 (Pekan)
Email: umplibrary@umpsa.edu.my

Connect With Us