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)

by Marcello M . Bonsangue (Editor), EinarBrochJohnsen (Editor)

• New

  Paperback
  2007

  $60.56

  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 in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.