検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.) T2 Lecture notes in computer science A1 Guessarian, Irène, 1948- A1 Laboratoire Informatique Théorique et Programmation (France). Spring School A1 Institut pour la recherche en informatique de Toulouse YR 1990 FD c1990 VO : gw VO : us SP iv, 456 p. K1 Parallel processing (Electronic computers) K1 Programming languages (Electronic computers) -- Semantics PB Springer-Verlag PP Berlin ; New York SN 3540534792 SN 0387534792 LA English (英語) CL LCC:QA76.58 CL DC20:004/.35 NO "The School was organized jointly by the LITP (Laboratoire d'informatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)"--Foreword NO Includes bibliographical references NO 書誌ID=1000405090; NCID=BA11415533; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000405090 OL 30