TY  - GEN
AU  - Charatan, Quentin 
AU  - Kans, Aaron 
TI  - Formal Software Development: From VDM to Java 
SN  - 978-0333992814
U1  - 005.1 
PY  - 2004///
CY  - New York
PB  - Palgrave Macmillanxi
KW  - 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
N1  - Includes index
ER  -