Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /

Bibliographic Details
Corporate Authors:	Copenhagen Winter School on Abstract Software Specifications, SpringerLink (Online service), Commission of the European Communities
Other Authors:	Bjørner, D. (Dines), 1937-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : New York : Springer-Verlag, 1980.
Series:	Lecture notes in computer science ; 86.
Subjects:	Computer programming > Congresses. programmation théorique. parallélisme. sémantique mathématique. Programmation (Informatique) > Congrès. Computer programming. Programmierung. Softwareentwicklung. Kongre€. Electronic books. Kongre€ > Kopenhagen > 1979. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage