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
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 - Bonsangue, Marcello M. ; Johnsen, Einar Broch
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Wednesday, June 12 and
Friday, June 28.
You will receive it anywhere in United Kingdom 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"
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.