Share
formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (in English)
Marcello M. Bonsangue
(Illustrated by)
·
Einar Broch Johnsen
(Illustrated by)
·
Springer
· Paperback
formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (in English) - Bonsangue, Marcello M. ; Johnsen, Einar Broch
$ 52.09
$ 54.99
You save: $ 2.90
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Friday, May 24 and
Monday, May 27.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (in English)"
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.