Cover Image

Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /

Show other versions (1)
Bibliographic Details
Corporate Authors: Technische Universität München, NATO Science Committee, Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
Other Authors: Broy, M., 1949-, Schmidt, Gunther, 1939-
Format: Conference Proceeding Book
Language:English
Published: Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; [1982]
Series:NATO advanced study institutes series. Mathematical and physical sciences ; v. 91.
Subjects:
Computer programming.
Description
Item Description:Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Science Committee under the 1981 Advanced Study Institutes Programme.
"Published in cooperation with NATO Scientific Affairs Division."
Physical Description:xiii, 658 pages : illustrations, music ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:9027714606
9027714622 (pbk.)