検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.) T2 Lecture notes in computer science A1 MOVEP A1 Cassez, Franck, 1967- A1 Jard, Claude A1 Rozoy, Brigitte A1 Ryan, Mark Dermot YR 2001 FD c2001 SP x, 222 p. K1 Parallel processing (Electronic computers) PB Springer PP Berlin SN 3540427872 LA English (英語) CL LCC:QA76.5 NO Includes bibliographical references and index NO "Tutorial"--Cover NO 書誌ID=1001341818; NCID=BA54313896; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001341818 OL 30