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 /

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.