検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.) T2 Lecture notes in computer science A1 FOSSACS A1 Tiuryn, Jerzy A1 European Conferences on Theory and Practice of Software YR 2000 FD c2000 SP x, 390 p. K1 Computer software -- Congresses K1 System analysis -- Congresses PB Springer PP Berlin SN 3540672575 LA English (英語) CL LCC:QA76.751 NO Includes bibliographical references and index NO 書誌ID=1001125879; NCID=BA46078145; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001125879 OL 30