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

Logic of programs : workshop, ETH Zü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.
Eidgenössische Technische Hochschule Zü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

Similar Items