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

 - 2nd ed. 
 - Nueva York :  [S.n.],  c1990 
 - xiv, 333 p. ;  23 cm. 
 - Prentice Hall International series in computer science .
<br/><br/> Incluye bibliografía. 
<br/><br/><label>ISBN: </label>0138807337 
<br/><br/><label>Standard No.: </label>DIF-M525 
<br/><br/><label>Subjects--Topical Terms: </label><br/>DESARROLLO DE SOFTWARE<br/>MÉTODOS FORMALES<br/>VDM