Jones, C. B.  1944- <br/><br/>
Systematic software development using VDM / 
Cliff B. Jones. 
 - Englewood Cliffs, N.J. :  Prentice Hall International,  1986 
 - 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 :  $34.95 0138807175 (pbk.) 
<br/><br/><label>LCCN: </label>85031178  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / J66 1986 
<br/><br/><label>Dewey Class. No.: </label>005.1