Program development by specification and transformation
Subtitle: the PROSPECTRA methodology, language family, and system
By: Berthold Hoffmann, Bernd Krieg-Brückner, eds.
Contributors: Hoffmann, Berthold, 1953-; Krieg-Brückner, B.
Series: Lecture notes in computer science ;; 680
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 623
Subjects: Computer software -- Development.
Notes: Includes bibliographical references (p. [589]-612) and indexes.