Formal program development
Subtitle: IFIP TC2/WG 2.1 state-of-the-art report
By: Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).
Contributors: Möller, Bernhard, 1953-; Partsch, Helmut A., 1950-; Schuman, Steve, 1950-; IFIP TC 2/WG 2.1.
Series: Lecture notes in computer science ;; 755
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 371
Subjects: Computer software -- Development.; Computer programming.
Notes: Includes bibliographical references.