Formal Methods for Open Object-Based Distributed

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inteational Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 .. / Programming and Software Engineering)

Hardcover: 259 pages

Publisher: Springer (May 29, 2008)

Language: English

ISBN-10: 3540688625