検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.) T2 Lecture notes in computer science A1 EEF/Euro Summer School on Trends in Computer Science A1 Brinksma, Ed A1 Hermanns, Holger, 1967- A1 Katoen, Joost-Pieter YR 2001 FD c2001 SP vi, 429 p. K1 Formal methods (Computer science) -- Congresses PB Springer PP Berlin SN 3540424792 LA English (英語) CL LCC:QA76.9.F67 NO "LNCS 2090 : Tutorial" -- on cover NO Includes bibliographical references and index NO 書誌ID=1001313948; NCID=BA53479204; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001313948 OL 30