検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.) T2 Lecture notes in computer science A1 TACS A1 Abadi, Martín A1 伊藤, 貴康(1940-) YR 1997 FD c1997 SP xi, 638 p. K1 Computer software -- Congresses PB Springer PP Berlin SN 354063388X LA English (英語) CL LCC:QA76.751 CL DC20:005.1/01/5113 NO Includes bibliographical references and index NO 書誌ID=1000555069; NCID=BA32154697; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000555069 OL 30