This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). The 19 revised full papers presented together with an invited paper...

Store Description

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visit Seller's Storefront

Seller's business information

GuthrieBooks
TX, U.S.A.

Terms of Sale:

At this time we accept payment through Visa or Mastercard.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Formal Methods for Open Object-Based Distributed Systems:...

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)

Steffen, Martin [Editor]; Zavattaro, Gianluigi [Editor];

Used - Soft cover

Seller's business information