Formalization of Programming Concepts
Subtitle: International Colloquium, Peniscola, Spain, April 1981 : Proceedings
By: edited by J. Díaz and I. Ramos.
Contributors: Díaz, J., 1950-; Ramos, I., 1943-; International Colloquium on formalization of programming concepts (1981 : Peniscola, Spain)
Series: Lecture notes in computer science -- 107
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 478
Subjects: Electronic digital computers -- Programming.