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)
暫譯: 開放物件導向分散系統的形式方法：第九屆 IFIP WG 6.1 國際會議 FMOODS 2007 會議錄，塞浦路斯帕福斯，2007 年 6 月 6-8 日（計算機科學講義）

***

出版商: Springer
出版日期: 2007-05-25
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 317
裝訂: Paperback
ISBN: 3540729194
ISBN-13: 9783540729198
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

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.