検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.) T2 Lecture notes in computer science A1 International Conference on the Mathematics of Program Construction A1 Backhouse, Roland C., 1948- A1 Oliveira, José N. YR 2000 FD c2000 SP vii, 255 p. K1 Computer programming -- Congresses K1 Computer science -- Mathematics -- Congresses PB Springer PP Berlin SN 3540677275 LA English (英語) CL LCC:QA76.6 NO Includes bibliographical references NO 書誌ID=1001170073; NCID=BA47400469; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001170073 OL 30