Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedings
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedings
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.
Read More
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.
Read Less
Add this copy of Formal Methods for Open Object-Based Distributed to cart. $7.29, very good condition, Sold by GuthrieBooks rated 4.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2007 by Springer.
Add this copy of Formal Methods for Open Object-Based Distributed to cart. $36.43, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2007 by Springer.
Add this copy of Formal Methods for Open Object-Based Distributed to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Springer.
Add this copy of Formal Methods for Open Object-Based Distributed to cart. $58.65, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2007 by Springer.
