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

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468) - Softcover

 
Image Not Available

Synopsis

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 2007.

The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

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

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 7.99 shipping within U.S.A.

Destination, rates & speeds

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

Stock Image

Bonsangue, Marcello M. [Editor]; Johnsen, Einar Broch [Editor];
Published by Springer, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
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. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-0338

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Marcello M. Bonsangue et Einar Broch Johnsen
ISBN 10: 3540729194 ISBN 13: 9783540729198
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 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-576-292

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
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 # ABLIING23Mar3113020175779

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, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
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. 334. Seller Inventory # 26301465

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
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 # ria9783540729198_new

Contact seller

Buy New

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

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
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. 334 Illus. Seller Inventory # 7546438

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Seller Image

Einar Broch Johnsen
ISBN 10: 3540729194 ISBN 13: 9783540729198
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

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

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 2007.The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service. 332 pp. Englisch. Seller Inventory # 9783540729198

Contact seller

Buy New

US$ 62.52
Convert currency
Shipping: US$ 26.10
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Einar Broch Johnsen
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

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

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 2007.The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service. Seller Inventory # 9783540729198

Contact seller

Buy New

US$ 62.52
Convert currency
Shipping: US$ 34.64
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Johnsen Einar Broch Bonsangue Marcello M.
Published by Springer, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

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

Condition: New. pp. 334. Seller Inventory # 18301459

Contact seller

Buy New

US$ 87.17
Convert currency
Shipping: US$ 11.29
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Bonsangue, Marcello M. (Editor)/ Johnsen, Einar Broch (Editor)
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540729194 ISBN 13: 9783540729198
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

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

Paperback. Condition: Brand New. 1st edition. 300 pages. 9.10x6.50x0.80 inches. In Stock. Seller Inventory # x-3540729194

Contact seller

Buy New

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

Quantity: 2 available

Add to basket

There are 4 more copies of this book

View all search results for this book