検索条件入力 ＞ 書誌詳細 ＞ Specification and verification of concurrent systems
書誌情報:Specification and verification of concurrent systems
C. Rattray, ed.
London ; New York : Springer-Verlag , 1990.
viii, 612 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1Springer-Verlag Berlin0中央５階洋
  • 548.16
  • Sp 3
  •  
00511036 利用可
一般 

選択行を：  

書誌詳細
刊年1990
形態viii, 612 p. : ill. ; 25 cm.
シリーズ名Workshops in computing
注記"Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
Includes bibliographical references and index.
出版国イングランド
標題言語英語
本文言語英語
著者情報Rattray, C. (Charles), 1938-
British Computer Society
BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : University of Stirling)
分類LCC:QA76.58
DC20:004/.35
ISBN3540195815(Springer-Verlag Berlin)
0387195815(Springer-Verlag New York : alk. paper)
件名LCSH:Parallelprocessing(Electroniccomputers) -- Congresses.
:ComputersystemsOperatingsystemsConcurrentprogramming
番号NBN : GB90-12550LCCN : 90009912

   
▲ページトップへ