検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, (ed.) T2 Lecture notes in computer science A1 International Conference on the Mathematics of Program Construction A1 Möller, Bernhard, 1953- YR 1995 FD c1995 SP viii, 472 p. K1 Electronic digital computers -- Programming -- Congresses K1 Computer science -- Mathematics -- Congresses PB Springer PP Berlin ; New York ; Tokyo SN 3540601171 LA English (英語) CL NDC9:007.64 CL LCC:QA76.6 CL DC20:004.2/0151 NO Includes bibliographical references NO 書誌ID=1000524538; NCID=BA25573124; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000524538 OL 30