検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.) T2 Lecture notes in computer science A1 Conference on Mathematics of Program Construction A1 Snepscheut, Jan L. A. van de, 1953- YR 1989 FD c1989 VO : us SP vi, 420 p. K1 Electronic digital computers -- Programming -- Congresses K1 Electronic data processing -- Mathematics -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 0387513051 LA English (英語) CL LCC:QA76.6 CL DC20:005.1 NO "Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen"--Pref NO Includes index NO 書誌ID=1000347676; NCID=BA06995627; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000347676 OL 30