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

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037) - Softcover

 
9783540348931: Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037)

Synopsis

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 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Fine
Ancien livre de bibliothèque. Edition...
View this item

US$ 26.40 shipping from France to U.S.A.

Destination, rates & speeds

Search results for Formal Methods for Open Object-Based Distributed Systems:...

Stock Image

Roberto Gorrieri et Heike Wehrheim
ISBN 10: 354034893X ISBN 13: 9783540348931
Used Softcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-576-306

Contact seller

Buy Used

US$ 8.45
Convert currency
Shipping: US$ 26.40
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gorrieri, Roberto [Editor]; Wehrheim, Heike [Editor];
Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # DA1411713

Contact seller

Buy Used

US$ 28.29
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gorrieri, Roberto (EDT); Wehrheim, Heike (EDT)
Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 4363155-n

Contact seller

Buy New

US$ 60.86
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Roberto Gorrieri
ISBN 10: 354034893X ISBN 13: 9783540348931
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. 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 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems. 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 2006. This book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540348931

Contact seller

Buy New

US$ 63.51
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gorrieri, Roberto; Wehrheim, Heike
Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020165686

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540348931

Contact seller

Buy New

US$ 54.99
Convert currency
Shipping: US$ 8.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Gorrieri, Roberto (EDT); Wehrheim, Heike (EDT)
Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 4363155

Contact seller

Buy Used

US$ 69.31
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 284. Seller Inventory # 263073733

Contact seller

Buy New

US$ 79.63
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540348931_new

Contact seller

Buy New

US$ 68.02
Convert currency
Shipping: US$ 16.10
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354034893X ISBN 13: 9783540348931
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 284 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5855514

Contact seller

Buy New

US$ 76.77
Convert currency
Shipping: US$ 8.74
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 11 more copies of this book

View all search results for this book