<図書>

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.)

(Lecture notes in computer science;458)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.458 2012305062

5568/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1990
大きさ vii, 536 p. : ill. ; 25 cm
一般注記 "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref
Includes index
著者標目 Baeten, J. C. M.
Klop, J. W. (Jan Willem), 1945-
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Universiteit van Amsterdam
European Strategic Programme of Research and Development in Information Technology
件 名 LCSH:Machine theory -- Congresses
LCSH:Parallel processing (Electronic computers) -- Congresses
分 類 LCC:QA267
DC20:511.3
本文言語 英語
書誌ID 2000158307
ISBN 3540530487
NCID BA10756798 WCLINK

検索結果一覧に戻る ページトップ