A theory and practice of program development
By: Derek Andrews.
Series: Formal approaches to computing and information technology
Publisher: Springer
Published: 1997
Place of publication: London; New York
Language: eng
Number of pages: 405
Subjects: Computer software -- Development.; Computer programming.
Notes: Includes bibliographical references (p. [401]-402) and index.