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

Web Site CiNii 所蔵館 24館

書誌事項

タイトル: "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

出版者

D. Reidel

出版年月

c1982

書籍サイズ: 25 cm

この図書・雑誌をさがす

注記

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

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について