Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Podobne knjige/članki

• Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /
  od: Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
  Izdano: (1999, c1999)
• Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
  od: Roberto Gorrieri, Heike Wehrheim
  Izdano: (2006, c2006)
• Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
  od: Marcello M. Bonsangue, Einar Broch Johnsen
  Izdano: (2007, c2007)
• Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
  od: Gilles Barthe, Frank S. Boer
  Izdano: (2008, c2008)
• Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20.22, 2002, Enschede, The Netherlands /
  od: Bart Jacobs, Arend Rensink
  Izdano: (2002, c2002)