Abstract software specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979
Subtitle: proceedings
By: edited by D. Bjørner.
Contributors: Bjørner, D. 1937-
Series: Lecture notes in computer science -- 86
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin
Language: eng
Number of pages: 566
Subjects: Computer programming.
Notes: Includes bibliographical references.