Jones, Cliff B. <br/><br/>
Systematic software development using VDM 

 -  Prentice-Hall International (UK)  1986 
 - xvi,300p.  ill.  24cm. 
<br/><br/><label>ISBN: </label>0-13-880725-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software
<br/><br/><label>LC Class. No.: </label>COMP QA76.76.D47J66