Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: Eidgenössische Technische Hochschule Zürich.
Group Author: Engeler Erwin.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: 1981.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 125
Subjects:
Computer programs
Logic, Symbolic and mathematical.
Carrier Form: 245 p.: ill. ; 25 cm.
ISBN: 0387111603 (U.S. : pbk.)
Index Number: TP31
CLC: TP31-532
Call Number: TP31-53/L832/1979/
Contents: Includes bibliographies.

Related Book Recommendations