000 00867pam a2200193a 44500
008 160408b1982 xxu||||| |||| 00| 0 eng d
082 _a001.642
_bT343
100 _aBroy, Manfred
245 1 _aTHEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY
260 _aDordrecht
_bD. Reidel Pub.
_c1982
300 _axiii,658
440 _aNato Advanced Study Institute Series. Series Mathematical And Physical Science
_vV. 91
500 _aPublished In...With Nato Scientific Affairs Division
500 _aPapers 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
650 _aElectronic Digital Computers -- Programming -- Addresses, Essays, Lectures
700 _aSchmidt, Gunther
964 _gCIRC
997 _aA74399 C
999 _c301608
_d301608