Charatan, Quentin <br/><br/>
Formal software development  from VDM to Java  

 - Basingstoke  
 -  Soft Binding 
<br/><br/> Faculty, students and Staff 
<br/><br/><label>ISBN: </label>0-333-99281-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science--Computer Science
<br/><br/><label>Dewey Class. No.: </label>005.1 CHA  / CHA