Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Ejemplares similares

• Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
  por: Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue
  Publicado: (2012)
• Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
  por: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
  Publicado: (2013)
• Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
  por: Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine
  Publicado: (2009)
• Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
  por: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Publicado: (2008)
• Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
  por: Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
  Publicado: (2010)