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; Wokingham
Language: eng
Number of pages: 544
Subjects: Electronic digital computers -- Programming.
Notes: Includesbibliography and index.