Charatan, Quentin. <br/><br/>
Formal software development :  from VDM to Java / 
Quentin Charlatan and Aaron Kaus. 
 - Basingstoke, England :  Palgrave Macmillan,  2004. 
 - xii, 239 p. 
<br/><br/><label>ISBN: </label>0333992814 :  KES 4,620 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software --Development.
<br/><br/><label>LC Class. No.: </label>QA76.76  / .D47C43