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
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