Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi

By Marcello M. Bonsangue

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540729194
• ISBN13: 9783540729198
• Release Date: May 2007
• Publisher: Springer
• Length: 317 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.8" x 6.3" x 9.2"