Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

***

  • 出版商: Springer
  • 出版日期: 2007-07-11
  • 售價: $4,302
  • 貴賓價: 9.5$4,087
  • 語言: 英文
  • 頁數: 317
  • 裝訂: Paperback
  • ISBN: 3540729194
  • ISBN-13: 9783540729198
  • 相關分類: 計算機概論

下單後立即進貨 (1週~2週)

商品描述

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.

The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.