Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Pro

By Roberto Gorrieri

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354034893X
• ISBN13: 9783540348931
• Release Date: June 2006
• Publisher: Springer
• Length: 276 Pages
• Weight: 0.88 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"