Program derivation
Subtitle: the development of programs from specifications
By: Geoff Dromey.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1989
Place of publication: Sydney; Reading, Mass
Language: eng
Number of pages: 630
Subjects: Computer programming.
Notes: Includes bibliographical references.