検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.) T2 Lecture notes in computer science A1 TACAS A1 Margaria, Tiziana A1 Yi, Wang A1 European Conferences on Theory and Practice of Software YR 2001 FD c2001 SP xiv, 588 p. K1 System design -- Congresses K1 Computer software -- Development -- Congresses PB Springer PP Berlin SN 3540418652 LA English (英語) CL LCC:QA76.9.S88 NO Includes bibliographical references and index NO "the fourth instance of the European Joint Conferences on Theory and Practice of Software"--Foreword NO 書誌ID=1001263447; NCID=BA51737400; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001263447 OL 30