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

Formal methods in computer aided design : FMCAD 2007 : November 11-14 2007 Austin Texas USA.
出版社：Piscataway, N.J. : IEEE, c2007.
ISBN：9780769530239
出版年：2007
作者：FMCAD 2007
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2009 Formal methods in computer-aided design (FMCAD 2009) : Austin, Texas, USA, 15-18 November 2009.
  • 作者：FMCAD 2009
  • ISBN：9781424449651
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009
...

2011 Formal Methods in Computer-Aided Design (FMCAD 2011) : Austin, Texas, USA, 30 October - 2 Novem
  • 作者：FMCAD 2011
  • ISBN：9781467308960
  • 出版社：Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2011.
  • 出版年：2011
...

2015 Formal Methods in Computer-Aided Design (FMCAD 2015) : Austin, Texas, USA, 27-30 September 2015
  • 作者：FMCAD 2015
  • ISBN：9781509041510
  • 出版社：Piscataway, N.J. : IEEE, 2015.
  • 出版年：2015
...

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas,
  • 作者：FMCAD 2000
  • ISBN：3540412190
  • 出版社：Berlin : Springer, c2000.
  • 出版年：2000
...

2013 Formal Methods in Computer-Aided Design (FMCAD 2013) : Portland, Oregon, USA, 20-23 October 201
  • 作者：FMCAD 2013
  • ISBN：9781479926848
  • 出版社：Piscataway, N.J. : IEEE, c2013.
  • 出版年：2013
...

2016 Formal Methods in Computer-Aided Design (FMCAD 2016) : Mountain View, California, USA, 3-6 Octo
  • 作者：FMCAD 2016
  • ISBN：9781538626924
  • 出版社：Piscataway, N.J. : IEEE Computer Society, c2016.
  • 出版年：2016