Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Pro

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540261818
• ISBN13: 9783540261810
• Release Date: June 2005
• Publisher: Springer
• Length: 326 Pages
• Weight: 1.05 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"