TY  - BOOK
AU  - Díaz,J.
AU  - Ramos,I.
ED  - International Colloquium on the Formalization of Programming Concepts
TI  - Formalization of programming concepts: international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings 
SN  - 0387106995 (U.S. : pbk.)
AV  - QA76.6 .F66
U1  - 001.64/2 19
PY  - 1981///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computer programming
KW  - Congresses
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - პროგრამირება ელექტრონულ გამოთვლით მანქანებზე
KW  - კომპიუტერული პროგრამირება
KW  - კონგრესები
N1  - Includes bibliographies and index
ER  -