International Symposium on Programming Proceedings of the Fourth "Colloque International Sur la Programmation" Paris, 22-24 April 1980

Book

International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science, 137)

Book

Programming Methodology 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974

Book

Semantics of Data Types

Book

EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984

Book

Formalization of Programming Concepts International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings

Book

Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974 (Lecture Notes in Computer Science, 16) (English and French Edition)

Book

Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings (Lecture Notes in Computer Science, 85)

Book

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)