Title: Abstract software specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979
Subjects: Computer programming, Congresses, Programmation théorique, Parallélisme, Sémantique mathématique, Programmation (Informatique), Congrès, Programmierung, Softwareentwicklung, Kongreß