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

著者

• Broy, M.
• Schmidt, Gunther
• Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
• Technische Universität München
• NATO Science Committee

書誌事項

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

（NATO advanced study institutes series, ser. C . Mathematical and physical sciences ; v. 91）

D. Reidel, c1982

注記

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 bibliographies

詳細情報

• NII書誌ID(NCID): BA03677272
• ISBN:
  • 9027714606
  • 9027714622
• LCCN: 82012347
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht, Holland
• ページ数/冊数: xiii, 658 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 001.64/2
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Addresses, essays, lectures
• 親書誌ID:
  • BA00221036