Specification and transformation of programs
Subtitle: a formal approach to software development
By: Helmut A. Partsch.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; New York
Language: eng
Number of pages: 493
Subjects: Computer software -- Development.
Notes: Includes bibliographical references (p. [456]-474) and index.