Harry, Andrew. <br/><br/>
Formal methods fact file :  VDM and Z / 
Andrew Harry. 
 - Chichester [England] :  John Wiley & Sons,  1996. 
 - xv, 386 p.:  ill. ;  24 cm. 
 - Wiley series in software engineering practice .
<br/><br/>Includes bibliographical references (p. 365-366) and index. 
<br/><br/><label>ISBN: </label>0471940062  RM100.00 
<br/><br/><label>LCCN: </label>96-028030 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Formal methods (Computer science)