Title | Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings |
---|---|
Author | John Backus (auth.), J. Díaz, I. Ramos (eds.) |
Year | 1981 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 107 |
Publisher | Springer-Verlag Berlin Heidelberg |
City | |
Language | English-French |