Logic of programs : workshop, ETH Zürich, May-July 1979 /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Eidgenössische Technische Hochschule Zürich
Other Authors:	Engeler, Erwin
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 1981.
Series:	Lecture notes in computer science ; 125.
Subjects:	Computer programs. Logic, Symbolic and mathematical. analyse programme. PAL. logique algorithmique. logique programme. Programmation (Mathématiques) Programmeurs. Logique symbolique et mathématique. Formale Methode. Logik. Programmierung. Computer programs Logic, Symbolic and mathematical Electronic books. Kongress > Zürich > 1979.
Online Access:	Connect to the full text of this electronic book

Remote Storage