JONES, CLIFF B. <br/><br/>
Systematic Software Development Using VDM 

 - 2nd ed. 
 -  UK : Printice Hall International  Ltd.  1990 
 - 333 p. 
<br/><br/><label>ISBN: </label>0000138807337 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Development
<br/><br/><label>Dewey Class. No.: </label>005.1  / J55