Abstract software specifications
Subtitle: 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
By: edited by D. Bjørner.
Contributors: Bjørner, D. 1937-; Commission of the European Communities.
Series: Lecture notes in computer science ;; 86
Publisher: New York : Springer-Verlag
Published: 1980
Place of publication: Berlin
Language: eng
Number of pages: 566
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies.
Sponsored by the Commission of the European Communities and others.