عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .L594 1981
QA
76
.
6
.
L594
1981
کتابخانه
محل استقرار
77286
آخر۲۷
English
)91(
Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Berlin, New York
Springer-Verlag
1982
vi, 429 p. : ill. ; 24 cm
Lecture notes in computer science, 131
Includes bibliographies
، Electronic digital computers-- Programming-- Congresses
QA
76
.
6
.
L594
1981
AU
edited by Dexter Kozen
AU nezoK 1951-
TI
SE
129
