検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.) T2 Lecture notes in computer science A1 FOSSACS A1 Honsell, Furio A1 Miculan, Marino A1 European Conferences on Theory and Practice of Software YR 2001 FD c2001 SP xii, 412 p. K1 Computer software -- Congresses K1 System analysis -- Congresses PB Springer PP Berlin SN 3540418644 LA English (英語) CL LCC:QA76.751 NO Includes bibliographical references and index NO 書誌ID=1001263442; NCID=BA51732280; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001263442 OL 30