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

Home BookTheoretical Foundations of Programming Methodology (NATO Science Series C: )

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

Description

Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981

Keywords

PROGRAMMING (MATHEMATICS)

1982Book

Author(s)Manfred Broy, Schmidt, G.

PublisherSpringer

ISBN9789027714602

LanguageEnglish

SpringerLink

Similar Books

Book

Programming and Mathematical Method: International Summer School (Nato ASI Subseries F:)

Book

Logic, Algebra, and Computation: International Summer School (Nato ASI Subseries F:)

Book

Program Transformation and Programming Environments Report on a Workshop, Munich, Germany, 12 to 16 September 1983

Book

Logic and Algebra of Specification

Book

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

Book

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Book

Control Flow and Data Flow: Concepts of Distributed Programming International Summer School

Book

Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Book

Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings

Book

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004