登入選單
返回Google圖書搜尋
Formal Methods for Open Object-Based Distributed Systems
Marcello M. BonsangueEinar Broch Johnsen
其他書名
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
出版Springer Berlin Heidelberg, 2007-05-25
主題Computers / Programming Languages / GeneralComputers / Networking / HardwareComputers / Programming / GeneralComputers / Software Development & Engineering / GeneralComputers / Operating Systems / General
ISBN35407291949783540729198
URLhttp://books.google.com.hk/books?id=jQDWygAACAAJ&hl=&source=gbs_api
註釋

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.