検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.) T2 Lecture notes in computer science A1 International Conference on the Mathematics of Program Construction A1 Jeuring, Johan, 1965- YR 1998 FD c1998 SP x, 382 p. K1 Electronic digital computers -- Programming -- Congresses K1 Computer science -- Mathematics -- Congresses PB Springer PP Berlin SN 3540645918 LA English (英語) CL NDC9:007.64 CL LCC:QA76.6 CL DC20:004.2/0151 NO Includes bibliographical references and index NO 書誌ID=1000559953; NCID=BA36225822; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000559953 OL 30