Formal Software Development :
Charatan, Quentin.
Formal Software Development : from VDM to Java / Quentin Charatan and Aaron Kans. - Basingstoke : Palgrave Macmillan, 2004. - xi, 239 p. : ill. ; 25 cm.
Includes index. Formerly CIP.
0333992814 (pbk.) :
Computer software--Development.
Formal methods (Computer science)
005.1 / CHA
Formal Software Development : from VDM to Java / Quentin Charatan and Aaron Kans. - Basingstoke : Palgrave Macmillan, 2004. - xi, 239 p. : ill. ; 25 cm.
Includes index. Formerly CIP.
0333992814 (pbk.) :
Computer software--Development.
Formal methods (Computer science)
005.1 / CHA