Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
書誌情報:Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
J. Zwiers.
Berlin ; New York : Springer-Verlag , c1989.
vi, 272 p. : ill. ; 25 cm.


  


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

選択行を：  

書誌詳細
刊年1989
形態vi, 272 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 321
注記Bibliography: p. 266-272.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Zwiers, J. (Job), 1956-
分類LCC:QA76.5
DC19:004/.35
ISBN0387508457(U.S.)
件名LCSH:Parallelprocessing(Electroniccomputers)
LCSH:Automatictheoremproving.
番号LCCN : 89004329

   
▲ページトップへ