検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.) T2 Lecture notes in computer science A1 COMPOS '97 (1997 : Malente, Germany) A1 Roever, W.-P. de, 1943- A1 Langmaack, Hans A1 Pnueli, A. (Amir) YR 1998 FD c1998 SP 646 p. K1 Parallel processing (Electronic computers) -- Congresses K1 Automatic theorem proving -- Congresses PB Springer PP Berlin ; New York SN 3540654933 LA English (英語) CL LCC:QA76.58 CL DC21:004/.35 NO Includes bibliographical reference and index NO 書誌ID=1001038266; NCID=BA39727168; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001038266 OL 30