Program specification
Subtitle: proceedings of a workshop, Aarhus, Denmark, August 1981
By: edited by J. Staunstrup.
Contributors: Staunstrup, J. 1952-
Series: Lecture notes in computer science ;; 134
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 426
Subjects: Computer programs -- Specifications -- Congresses.
Notes: Includes bibliographies and index.