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

出版社:Berlin ; New York : Springer, c2004.
ISBN:3540229426
出版年:2004
作者:FMCO 2003
资源类型:图书
细分类型:西文文献
相关推荐

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Ne

  • 作者:FMCO 2004
  • ISBN:3540291318
  • 出版社:Berlin ; New York : Springer, c2005.
  • 出版年:2005

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Ne

  • 作者:Boer,Frank S. de
  • ISBN:3540203036
  • 出版社:Berlin ; New York : Springer-Verlag, c2003.
  • 出版年:2003

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 : 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