Formal software development from VDM to Java - Charatan, Quentin; Kans, Aaron; ebrary, Inc. (Basingstoke : Palgrave Macmillan, 2004)
Includes index.
Electronic reproduction.
Keywords: Computer software -- Development; Formal methods (Computer science); Electronic books