検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.) T2 Lecture notes in computer science A1 International Conference on the Mathematics of Program Construction A1 Bird, R. S. (Richard Simpson), 1943- A1 Morgan, C. C. (Charles Carroll), 1952- A1 Woodcock, James YR 1993 FD c1993 VO : gw SP viii, 378 p. K1 Electronic digital computers -- Programming -- Congresses K1 Computer science -- Mathematics -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540566252 LA English (英語) CL LCC:QA76.6 CL DC20:005.1/01/5113 CL NDC8:410.7 NO "The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, during the week of 29 June-3 July, 1992."--Pref NO 書誌ID=1000471435; NCID=BA19829981; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000471435 OL 30