Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: J. Diaz (Editor); International Colloquium on the Formalization of Programming Concepts (Corporate Author); I. Ramos (Editor)
Publisher: Springer
Published: July 1981
Language: eng
Number of pages: 478
ISBN-13: 9780387106991