Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, . / Programming and Software Engineering)

Bonsangue, Marcello M. [Editor]; Johnsen, Einar Broch [Editor];

ISBN 10: 3540729194 / ISBN 13: 9783540729198

Published by Springer, 2007

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments.

Seller Inventory # UTD14a-0338

Bibliographic Details

• Title: Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, . / Programming and Software Engineering)
• Publisher: Springer
• Publication Date: 2007
• Language: English
• ISBN 10: 3540729194
• ISBN 13: 9783540729198
• Binding: Paperback
• Condition: Very Good

About this title

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.

More