検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.) T2 Lecture notes in computer science A1 Möller, Bernhard, 1953- A1 Partsch, Helmut A., 1950- A1 Schuman, Steve, 1950- A1 IFIP TC 2/WG 2.1 YR 1993 FD c1993 VO : gw SP 371 p. K1 Computer software -- Development K1 Electronic digital computers -- Programming PB Springer-Verlag PP Berlin ; Tokyo SN 3540574999 LA English (英語) CL LCC:QA76.76.D47 CL DC20:005.1 NO Includes bibliographical references NO 書誌ID=1000488430; NCID=BA2150366X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000488430 OL 30