TY  - BOOK
AU  - Charatan,Quentin
AU  - Kans,Aaron
TI  - Formal Software Development: from VDM to Java 
SN  - 0333992814 (pbk.) :
U1  - 005.1 22
PY  - 2004///
CY  - Basingstoke
PB  - Palgrave Macmillan
KW  - Computer software
KW  - Development
KW  - Formal methods (Computer science)
KW  - CS
KW  - September2012
KW  - September2013
N1  - Includes index; Formerly CIP
ER  -