عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.193
QA
76
.
L28
Vol
.
193
کتابخانه
محل استقرار
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
1985: Brooklyn
Berlin
Springer-Verlag
c1985
vi, 424p
Lecture notes in computer science; 391
Papers presented at a conference held at Brooklyn College June 17-19, 1985
Includes bibliographies; also bibliographical footnotes
ISBN: 3540156488
edited by Rohit Parikh
1
Congresses ، Computer programs
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
193
AU
AU Parikh, Rohit, 1936-
TI
SE
Logics of Programs Workshop
