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

Book

Language Design and Programming Methodology Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

Book

Mathematical Foundations of Computer Science 1979 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings

Book

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Book

International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Book

Theoretical Foundations of Programming Methodology (NATO Science Series C: )

Book

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

Book

Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981

Book

CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings

Book

Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings (Lecture Notes in Computer Science, 71) (English and French Edition)

Book

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