検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.) T2 Lecture notes in computer science A1 Brinksma, Ed A1 TACAS YR 1995 FD c1995 SP 289 p. K1 System design -- Congresses K1 Computer software -- Development -- Congresses K1 Electronic data processing -- Distributed processing -- Congress PB Springer PP Berlin ; New York SN 3540606300 LA English (英語) CL NDC9:007.61 CL LCC:QA76.9.S88 CL DC20:005.2 NO Includes bibliographical references and index NO 書誌ID=1000531847; NCID=BA26610088; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000531847 OL 30