検索条件入力 ＞ 書誌詳細 ＞ Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
書誌情報:Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Berlin ; New York : Springer-Verlag , c1989.
viii, 713 p. : ill. ; 25 cm.




  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S. : alk. paper0中央５階洋
  • 007.1
  • L 49
  • 354
00511747 利用可
一般 

選択行を：  

書誌詳細
刊年1989
形態viii, 713 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 354
注記"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
Includes bibliographical references.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de.
Rozenberg, Grzegorz.
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
分類LCC:QA76.5
DC20:004/.35
ISBN038751080X(U.S. : alk. paper)
件名LCSH:Parallelprocessing(Electroniccomputers)
LCSH:Electronicdataprocessing -- Distributedprocessing.
番号LCCN : 89006216

   
▲ページトップへ