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)
データ種別 | 図書 |
---|---|
出版情報 | Berlin ; New York : Springer-Verlag , c1990 |
本文言語 | 英語 |
大きさ | vii, 536 p. : ill. ; 25 cm |
所蔵情報を非表示
配架場所 | 請求記号 | 巻 次 | ISBN | 資料番号 | 資料状態 | 利用注記 | コメント | 予約・取寄 | 申込書 | 仮想書架 |
---|---|---|---|---|---|---|---|---|---|---|
書庫2階 | QA:267:C5927:1990 |
|
|
000161679 |
|
|
書誌詳細を非表示
一般注記 | "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 |
巻冊次 | : gw ; ISBN:3540530487 : us ; ISBN:0387530487 |
ISBN | 3540530487 |
NCID | BA10756798 |
目次/あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2021年9月12日以降
全貸出数:0回
(3か月以内の貸出:0回)
※2002年7月22日以降