Jones, C. B.  1944- <br/><br/>
Systematic software development using VDM / 
Cliff B. Jones. 
 - Englewood Cliffs, N.J. :  Prentice Hall International,  c1986. 
 - xvi, 300 p. :  ill. ;  24 cm. 
 - Prentice-Hall International series in computer science .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 294-296. 
<br/><br/><label>ISBN: </label>0138807256 :   0138807175 (pbk.) 
<br/><br/><label>LCCN: </label>85-031178 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.
<br/><br/><label>Dewey Class. No.: </label>005.1