Software prototyping, formal methods, and VDM
By: Sharam Hekmatpour, Darrel Ince.
Contributors: Ince, D.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1988
Place of publication: Wokingham, Eng; Reading, MA
Language: eng
Number of pages: 222
Subjects: Computer software -- Development.; Formal methods (Computer science)
Notes: Bibliography: p. 138-153.
Includes index.