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 / lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt

Published:: Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1982.
Physical Description:: xiii, 658 p. ; 25 cm.
Additional Creators:: Broy, M., 1949-
Schmidt, Gunther, 1939-
Technische Universität München
NATO Science Committee
Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981)

Full Text available online

By special arrangement in response to the COVID-19 pandemic, patrons may access this resource online through the HathiTrust Emergency Temporary Access Service.

HathiTrust logo Check out digital copy through HathiTrust

Availability

Finding items...

Series:

NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 91

Subject(s):

Computer programming

ISBN:

9027714606
9027714622 (pbk.)

Note:

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."

Bibliography Note:

Includes bibliographies.

View MARC record | catkey: 913551