Charatan, Quentin <br/><br/>
Formal software development  from VDM to Java 
Quentin Charatan and Aaron Kans. 
 - New York  Palgrave Macmillan  c2004. 
 - xii, 239p.; 25cm. 
<br/><br/><label>ISBN: </label>333992814 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming language; Electronic data processing. Software development 
<br/><br/><label>Dewey Class. No.: </label>005.133  / C31F