عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.107
QA
76
.
L4
v
.
107
کتابخانه
محل استقرار
English
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Berlin, New York
Springer-Verlag
1981
vii, 478 p. : ill. ; 25 cm
Lecture notes in computer science, 701
Includes bibliographies and index
edited by J. Diaz and I. Ramos
1
Congresses ، Electronic digital computers - Programming
QA
76
.
L4
v
.
107
CA
001
.
64/2
TI
AU Diaz, J. 1950-
AU Ramos, I. 1943-
CO International Colloquium on the Formalization of Programming Concepts, Peniscola, Spain(, )1891
TI
SE
