TY  - BOOK
AU  - Broy,Manfred
AU  - Schmidt,Gunther
ED  - Technische Universitat Munchen.
ED  - Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981).
ED  - NATO Science Committee.
TI  - 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 
PY  - 1982///
CY  - Dordrecht
PB  - D. Reidel Publishing Company
KW  - Electronic digital computers
KW  - Programming
KW  - Addresses, essays, lectures
N1  - 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.'; Includes bibliographical references
ER  -