Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings

著者

• REX Workshop
• Bakker, Jacobus Willem de
• Roever, W.-P. de
• Rozenberg, Grzegorz

書誌事項

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）

Springer-Verlag, c1990

• : gw
• : us

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA10176266
• ISBN:
  • 3540525599
  • 0387525599
• LCCN: 90009723
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: x, 808 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.D5
  • DC20 : 004/.36
• 件名:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
• 親書誌ID:
  • BA00009279