Harry, Andrew <br/><br/>
Formal methods fact file :   VDM and Z / 
Harry Andrew 
 - Chichester:  John Wiley & Sons,   1996 
 - xv, 386 p.:   ill.;   23 cm. 
<br/><br/> Includes glossary and index 
<br/><br/><label>ISBN: </label>0471958573 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development