عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.193
QA
76
.
L4
v
.
193
کتابخانه
محل استقرار
English
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 bibliographical references and index
Includes bibliographies
edited by Rohit Parikh
1
Congresses ، Computer programs
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L4
v
.
193
CA
001
.
64/2
TI
AU Parikh, Rohit 1936-
SE
