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

 -  Prentice-Hall International (UK)  1990 
 - xvi,333p.  ill.  24cm. 
<br/><br/><label>ISBN: </label>0-13-880733-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems
<br/><br/><label>LC Class. No.: </label>COMP QA76.76.D47J66