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

出版社:Berlin ; New York : Springer, c2013.
ISBN:9783642358869
出版年:2013
作者:FMCO 2011
资源类型:图书
细分类型:西文文献
相关推荐

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 : 8th international symposium, FMCO 2009, Eindhoven, The N

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

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

  • 作者:FMCO 2008
  • ISBN:9783642041662
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009

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 : 6th international symposium, FMCO 2007, Amsterdam, The N

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

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

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