عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.125
QA
76
.
L28
Vol
.
125
کتابخانه
محل استقرار
Logic of programs : Workshop, ETH Zurich, May-July 1979
1979: ETH Zurich
Berlin
Springer-Verlag
1981
245p.: ill
Lecture notes in computer science; 521
Includes bibliographies
ISBN: 3540111603
edited by Erwin Engeler
1
Addresses, essays, lectures ، Computer programs
Addresses, essays, lectures ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
125
AU
AU Engeler, Erwin
CO Eidgenossische Technische Hochschule Zurich
TI
SE
Workshop on Logic of Programs
