Formal methods for open object-based distributed systems

著者

• Najm, Elie
• Stefani, Jean-Bernard
• International Federation for Information Processing

書誌事項

Formal methods for open object-based distributed systems

edited by Elie Najm nad Jean-Bernard Stefani

Chapman and Hall on behalf of the International Federation for Information Processing(IFIP), 1997

• [v. 1]
• v. 2

注記

Includes bibliographical references

v. 2 edited by Howard Bowman and John Derrick

詳細情報

• NII書誌ID(NCID): BA29451639
• ISBN:
  • 0412797704
  • 0412820404
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: v.
• 大きさ: 24 cm