Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /

Bibliographic Details
Corporate Authors:	Symposium on Logics of Programs and Their Applications Poznań, Poland, SpringerLink (Online service)
Other Authors:	Salwicki, Andrzej
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1983.
Series:	Lecture notes in computer science ; 148.
Subjects:	Computer programming > Congresses. théorie calcul. informatique théorique. type abstrait. logique programmation. calcul parallèle. LOGLAN. Structure logique > Logiciels. Programmation (Informatique) > Congrès. Logiciels > Congrès. Computer programming. Logik. Programmierung. Electronic books. Kongress > Posen > 1980. Kongress. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage