Charatan, Quentin  <br/><br/>
Formal Software Development :  From VDM to Java / 

 - New York:  Palgrave Macmillanxi,  2004. 
 - xi, 239p  20.5 x 27 cm 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>978-0333992814 
<br/><br/><label>Subjects--Topical Terms: </label><br/>This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses.
<br/><br/><label>Dewey Class. No.: </label>005.1  / CHA-F