登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Teaching formal methods : second international conference TFM 2009 Eindhoven the Netherlands Nov
出版社：Berlin ; New York : Springer, c2009.
ISBN：9783642049118
出版年：2009
作者：TFM 2009
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Integrated Formal Methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, Nove
  • 作者：IFM 2005
  • ISBN：3540304924
  • 出版社：Berlin : Springer, c2005.
  • 出版年：2005
...

Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, Nov
  • 作者：IFM 2000
  • ISBN：3540411968
  • 出版社：Berlin; New York : Springer, c2000.
  • 出版年：2000
...

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven,
  • 作者：FMICS 2009
  • ISBN：9783642045691
  • 出版社：Berlin ; New York : Springer, 2009.
  • 出版年：2009
...

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The N
  • 作者：FMCO 2009
  • ISBN：9783642170706
  • 出版社：Berlin ; New York : Springer, c2010.
  • 出版年：2010
...

Fun and games : second international conference, Eindhoven, The Netherlands, October 20-21, 2008 : p
  • 作者：Fun and Games
  • ISBN：9783540883210
  • 出版社：Berlin : Springer, 2008.
  • 出版年：2008
...

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : p
  • 作者：TFM 2004
  • ISBN：3540236112
  • 出版社：Berlin : Springer, c2004.
  • 出版年：2004