CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
書誌情報:CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
J.C.M. Baeten, J.W. Klop, eds.
Berlin ; New York : Springer-Verlag , c1990.
vii, 536 p. : ill. ; 25 cm.




  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1Berlin : acid-free paper0中央５階洋
  • 007.1
  • L 49
  • 458
00510945 利用可
一般 

選択行を：  

書誌詳細
刊年1990
形態vii, 536 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 458
注記"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 bibliographical references and index.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Baeten, J. C. M.
Klop, J. W.
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Universiteit van Amsterdam.
European Strategic Programme of Research and Development in Information Technology.
分類LCC:QA267
DC20:511.3
ISBN3540530487(Berlin : acid-free paper)
0387530487(New York : acid-free paper)
件名LCSH:Machinetheory -- Congresses.
LCSH:Parallelprocessing(Electroniccomputers) -- Congresses.
番号LCCN : 90010306

   
▲ページトップへ