Formal Software Development : From VDM to Java /
Charatan, Quentin
Formal Software Development : From VDM to Java / - New York: Palgrave Macmillanxi, 2004. - xi, 239p 20.5 x 27 cm
Includes index.
978-0333992814
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.
005.1 / CHA-F
Formal Software Development : From VDM to Java / - New York: Palgrave Macmillanxi, 2004. - xi, 239p 20.5 x 27 cm
Includes index.
978-0333992814
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.
005.1 / CHA-F