Theoretical foundations of programming methodology
Subtitle: lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare
By: lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt.
Contributors: Broy, M., 1949-; Schmidt, Gunther, 1939-; Technische Universität München.; NATO Science Committee.; Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981)
Series: NATO advanced study institutes series.; v. 91
Publisher: D. Reidel; Sold and distributed in the U.S.A. and Canada by Kluwer Boston; Springer
Published: 1982
Place of publication: Dordrecht, Holland; Boston, U.S.A; Hingham, MA
Language: eng
Number of pages: 658
Subjects: Computer programming.
Notes: Includes bibliographies.
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 program.
"Published in cooperation with NATO Scientific Affairs Division."