Formal methods for components and objects : 7th international symposium FMCO 2008 Sophia Antipolis

出版社:Berlin ; New York : Springer, c2009.
ISBN:9783642041662
出版年:2009
作者:FMCO 2008
资源类型:图书
细分类型:西文文献
相关推荐

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The N

  • 作者:FMCO 2007
  • ISBN:9783540921875
  • 出版社:Berlin ; New York : Springer, c2008.
  • 出版年:2008

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro Italy

  • 作者:FMCO 2012
  • ISBN:9783642406140
  • 出版社:Berlin : Springer, c2013.
  • 出版年:2013

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, N

  • 作者:FMCO 2010
  • ISBN:9783642252709
  • 出版社:Berlin ; New York : Springer, c2011.
  • 出版年:2011

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The N

  • 作者:FMCO 2009
  • ISBN:9783642170706
  • 出版社:Berlin ; New York : Springer, c2010.
  • 出版年:2010

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, O

  • 作者:FMCO 2011
  • ISBN:9783642358869
  • 出版社:Berlin ; New York : Springer, c2013.
  • 出版年:2013

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, The N

  • 作者:FMCO 2006
  • ISBN:9783540747918
  • 出版社:Berlin ; New York : Springer, c2007.
  • 出版年:2007