عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .L5855 1985
QA
76
.
6
.
L5855
1985
کتابخانه
محل استقرار
79367
آخر۲۷
English
)20(
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Berlin, New York
Springer-Verlag
1985
vi, 424 p. ; 25 cm
Lecture notes in computer science, 391
Papers presented at a conference held at Brooklyn College June 17-19, 1985
Includes bibliographies
، Computer programs-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
6
.
L5855
1985
TI
edited by Rohit Parikh
AU hkiraP 1936-
SE
02
