Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ... / Programming and Software Engineering)

Name: Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ... / Programming and Software Engineering)
ISBN: 9783540729198

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

109.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $2.88

✓ Usually ships in 24 hours

Book Details

PublisherSpringer

ISBN / ASIN3540729194

ISBN-139783540729198

AvailabilityUsually ships in 24 hours

MarketplaceUnited States 🇺🇸

Description ▲

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.