Mathematical methods of specification and synthesis of software systems '85
Subtitle: proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
By: edited by W. Bibel and K.P. Jantke.
Contributors: Bibel, W., 1938-; Jantke, K. P.
Series: Lecture notes in computer science ;; 215
Publisher: Springer
Published: 1986
Place of publication: Berlin; New York
Language: eng
Number of pages: 245
Subjects: Computer software -- Development -- Congresses.
Notes: Includes bibliographies.