<図書>

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

(Lecture notes in computer science;430)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.430 2012289076

5415/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ x, 808 p. ; 25 cm
一般注記 Includes bibliographical references
著者標目 REX Workshop (1989 : Mook, The Netherlands)
Bakker, Jacobus Willem de, 1939-
Roever, W.-P. de, 1943-
Rozenberg, Grzegorz
件 名 LCSH:Electronic data processing -- Distributed processing -- Congresses
分 類 LCC:QA76.9.D5
DC20:004/.36
本文言語 英語
書誌ID 2000152484
ISBN 3540525599
NCID BA10176266 WCLINK

類似資料

  1. 1 Proceedings of the Eighth Symposium on Reliable Distributed Systems, 10-12 October, 1989, Seattle, Washington
  2. 2 Proceedings : the Eighth International Symposium on High Performance Distributed Computing, August 3-6, 1999, Redondo Beach, California / sponsored by University of Southern California Information Science Institute ... [et al.]
  3. 3 Proceedings of the fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, August 28-30, 1995, Cheju Island, Korea / sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing ... [et al.]
  4. 4 Proceedings of the fourth IEEE International Symposium on High Performance Distributed Computing, August 2-4, 1995, Washington, D.C. / sponsored by IEEE Technical Committee on Distributed Processing Northeast Parallel Architectures Center (NPAC) at Syracuse University ; in cooperation with ACM SIGCOMM Rome Laboratory
  5. 5 Proceedings of the fifth IEEE International Symposium on High Performance Distributed Computing, August 6-9, 1996, Syracuse, New York / sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ... [et al.] ; in cooperation with Rome Laboratory
  6. 6 Theory and practice in distributed systems : International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers / K.P. Birman, F. Mattern, A. Schiper, (eds.)
  7. 7 Proceedings of the Third IEEE International Symposium on High Performance Distributed Computing, August 2-5, 1994, San Francisco, California / sponsored by IEEE Computer Society Technical Committee on Distributed Processing, Northeast Parallel Architectures Center (NPAC) at Syracuse University in cooperation with ACM SIGCOMM, Rome Laboratory
  8. 8 The 2nd International Symposium on High Performance Distributed Computing, July 20-23, 1993, Spokane, Washington : proceedings / sponsored by the IEEE Computer Society, Washington State University, Northeast Parallel Architectures Center (NPAC) at Syracuse University in cooperation with ACMSIGCOMM, Washington Technology Center, Seattle, IEEE Spokane Section
  9. 9 Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, September 22-24, 1993, Lisbon, Portugal / sponsored by the IEEE Computer Society Technical Committee on Distributed Processing
  10. 10 Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, April 14-16, 1992, Taipei, Taiwan / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Distributed Computing

検索結果一覧に戻る ページトップ