Formalization of programming concepts :
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
edited by J. Díaz and I. Ramos.
- Springer-Verlag, 1981.
- vii, 478 p. : ill. ; 25 cm.
- Lecture notes in computer science ; 107 .
Includes bibliographies and index.
0387106995 (U.S. : pbk.)
81005715
Computer programming--Congresses.
საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები პროგრამირება ელექტრონულ გამოთვლით მანქანებზე კომპიუტერული პროგრამირება კონგრესები
QA76.6 / .F66
001.64/2
004.42(063)
Includes bibliographies and index.
0387106995 (U.S. : pbk.)
81005715
Computer programming--Congresses.
საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები პროგრამირება ელექტრონულ გამოთვლით მანქანებზე კომპიუტერული პროგრამირება კონგრესები
QA76.6 / .F66
001.64/2
004.42(063)