Logic of programs
Subtitle: workshop, ETH Zurich, May-July 1979
By: edited by Erwin Engeler.
Contributors: Engeler, Erwin.
Series: Lecture notes in computer science -- 125.
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 245
Subjects: Programming (Electronic computers); Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.