Formalization of programming concepts
Subtitle: international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
By: edited by J. Díaz and I. Ramos.
Contributors: Díaz, J. 1950-; Ramos, I. 1943-; International Colloquium on the Formalization of Programming Concepts (1981 : Peñíscola, Spain)
Series: Lecture notes in computer science ;; 107
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng; fre
Number of pages: 478
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies and index.