検索条件入力 ＞ 書誌詳細 ＞ Semantics for concurrency : proceedings of the International BCS-FACS Workshop
書誌情報:Semantics for concurrency : proceedings of the International BCS-FACS Workshop
sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
[editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
London ; New York : Springer-Verlag , c1990.
viii, 346 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1alk. paper0中央５階洋
  • 548.164
  • Se 51
  •  
00514950 利用可
一般 

選択行を：  

書誌詳細
刊年1990
形態viii, 346 p. : ill. ; 25 cm.
シリーズ名Workshops in computing
注記"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
出版国イングランド
標題言語英語
本文言語英語
著者情報International BCS-FACS Workshop (1990 : University of Leicester)
Kwiatkowska, M. Z. (Marta Z.), 1957-
Shields, M. W. (Michael William), 1950-
Thomas, R. M. (Richard Monro), 1952-
S.E.R.C. "Logic for IT."
British Computer Society
分類LCC:QA76.642
DC20:005.2
ISBN0387196250(alk. paper)
件名LCSH:Parallelprogramming(Computerscience) -- Congresses.
LCSH:Programminglanguages(Electroniccomputers) -- Semantics -- Congresses.
番号LCCN : 90010064

   
▲ページトップへ