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

出版社:Berlin ; New York : Springer, c2007.
ISBN:9783540747918
出版年:2007
作者:FMCO 2006
资源类型:图书
细分类型:西文文献
相关推荐

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

  • 作者:FMCO 2005
  • ISBN:3540367497
  • 出版社:Berlin ; New York : Springer, c2006.
  • 出版年:2006

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 : 9th international symposium, FMCO 2010, Graz, Austria, N

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

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The N

  • 作者:FMCO 2003
  • ISBN:3540229426
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

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

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