Logic of programs : workshop, ETH Zürich, May-July 1979 /

Saved in:

Bibliographic Details
Imprint:	Berlin ; New York : Springer, 1981.
Description:	1 online resource (245 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science ; 125 Lecture notes in computer science ; 125.
Subject:	Computer programs. Logic, Symbolic and mathematical. Computer programs. Logic, Symbolic and mathematical.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11072483

Hidden Bibliographic Details
Other authors / contributors:	Engeler, Erwin. Eidgenössische Technische Hochschule Zürich.
ISBN:	9783540386315 3540386319 3540111603 9783540111603
Digital file characteristics:	text file PDF
Notes:	Includes bibliographical references. English.
Other form:	Print version: Logic of programs. Berlin ; New York : Springer, 1981 0387111603
Standard no.:	10.1007/3-540-11160-3

Similar Items