Logic of programs
Subtitle: workshop, ETH Zürich, May-July 1979
By: edited by Erwin Engeler.
Contributors: Engeler, Erwin.; Eidgenössische Technische Hochschule Zürich.
Series: Lecture notes in computer science ;; 125
Publisher: Springer
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 245
Subjects: Computer programs.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies.