EKB DL

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

EKB DL

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

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

Description

Book by International Symposium on Programming 1982 (Turin, Italy), Dezani-Ciancaglini, M., Montanari, U.

Keywords

COMPUTER PROGRAMMING

1982Book

Author(s)M. Dezani-Ciancaglini, U. Montanari

PublisherSpringer

ISBN9783540114949

LanguageEnglish

SpringerLink Book

Similar Books

Book

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

Book

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

Book

Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)

Book

Program Construction: International Summer School (Lecture Notes in Computer Science, 69)

Book

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

Book

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

Book

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science, 122)

Book

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Book

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

Book

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