عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .F66
QA
76
.
6
.
F66
کتابخانه
محل استقرار
77264
آخر۲۷
English
)91(
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
، Electronic digital computers-- Programming-- Congresses
QA
76
.
6
.
F66
TI
edited by J. Diaz and I. Ramos
AU zaiD 1950-
AU somaR 1943-
CO International Colloquium on the Formalization of Programming Concepts )1891 : Pensicola, Spain(
SE
129
