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

• 関連文献: 1件

• • 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

大学図書館所蔵 件 / 全24件

• 茨城大学 附属図書館 工学部分館 分

  549:1203000452975

  OPAC

• 関西大学 図書館 図

  B244803

  九州大学 中央図書館

  549.9/B 771/1068582183012842

  OPAC

• 九州大学 理系図書館

  068222186005416

  OPAC

• 京都産業大学 図書館

  418.6||BRO

  京都大学 基礎物理学研究所 図書室 基物研

  G-C||NAT||C9197083869

  OPAC

• 京都大学 数理解析研究所 図書室 数研

  C-P(*)||NATO-C||912931487

  OPAC

• 京都大学 大学院 情報学研究科

  I,1982||5.1||19484081522

  OPAC

• 群馬大学 総合情報メディアセンター 理工学図書館 図書館

  401:B75207233230

  OPAC

• 国立天文台 図書室

  M71:Br:19829925879

  OPAC

• 滋賀大学 附属図書館

  001.642||T 34087149540

  静岡大学 附属図書館 浜松分館 浜図

  547.01/1208500008050

  OPAC

• 信州大学 附属図書館 工学部図書館

  007.64:Th 32570558268

  OPAC

• 中部大学 附属三浦記念図書館 図

  418.6||B 77G039031A

  電気通信大学 附属図書館 図庫

  410/N57/C912218803169

  OPAC

• 東京科学大学 大岡山図書館

  N11480/91114826375

  OPAC

• 東京大学 工学部・工学系研究科 物計

  85:B:271000321644

  OPAC

• 東京大学 大学院情報理工学系研究科 CS図

  25:T:52006011478

  OPAC

• 東北大学 附属図書館 工学分館 図

  04850473439

  OPAC

• 名古屋大学 工学 図書室 工中央書庫

  007.64||T40827120

  広島大学 図書館 東図書館

  007:Th-36000152945

  北陸先端科学技術大学院大学 附属図書館 図

  C23.1/Th3 /1:5922015

  OPAC

• 山口大学 図書館 工学部図書館

  2082054516

  OPAC

• 山梨大学 附属図書館

  4181081021446

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

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

関連文献: 1件中  1-1を表示

• 1

  NATO advanced study institutes series

  D. Reidel Pub. Co. , Noordhoff , Plenum Press , Martinus Nijhoff