検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed. T2 Lecture notes in computer science A1 TACAS A1 European Conferences on Theory and Practice of Software A1 Steffen, Bernhard YR 1998 FD c1998 SP xiii, 455 p. K1 System design -- Congresses K1 Computer software -- Development -- Congresses PB Springer PP Berlin ; New York SN 3540643567 LA English (英語) CL LCC:QA76.9.S88 CL DC21:004.2/1 NO Includes bibliographical references and index NO 書誌ID=1000559123; NCID=BA35397571; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000559123 OL 30