TY - BOOK AU - Broy, Manfred AU - Schmidt, Gunther TI - THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY U1 - 001.642 PY - 1982/// CY - Dordrecht PB - D. Reidel Pub. KW - Electronic Digital Computers -- Programming -- Addresses, Essays, Lectures N1 - Published In...With Nato Scientific Affairs Division; Papers Presented In 1981 At The Markto-Berdorf Summer School On Theoretical Foundations Of Programming Methodology, Organized Under The Suspices Of The Technical Univ. Munich...Institution Program ER -