Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings - Copenhagen Winter School on Abstract Software Specifications (197 9); Bjp2(Brner, D.s (Dines), 1937-; Commission of the European communities (Berlin : New York : Springer-Verlag, 1980)
Sponsored by the Commission of the European Communities and others.
Includes bibliographies.
Keywords: Computer programming -- Congresses