Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
書誌情報:Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
Berlin ; New York : Springer-Verlag , c1990.
x, 808 p. : ill. ; 25 cm.




  


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

選択行を：  

書誌詳細
刊年1990
形態x, 808 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 430
注記Includes bibliographical references.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de.
Rozenberg, Grzegorz.
分類LCC:QA76.9.D5
DC20:004/.36
ISBN3540525599(Berlin : acid-free paper)
0387525599(New York : acid-free paper)
件名LCSH:Electronicdataprocessing -- Distributedprocessing -- Congresses.
番号LCCN : 90009723

   
▲ページトップへ