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

Numerical software verification : 9th International Workshop NSV 2016 Toronto ON Canada July 17
出版社：Cham, Switzerland : Springer, 2017.
ISBN：9783319542911
出版年：2017
作者：NSV 2016
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 2
  • 作者：NSV 2017
  • ISBN：9783319635002
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, Jul
  • 作者：NSV 2019
  • ISBN：9783030284220
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23,
  • 作者：CAV 2016
  • ISBN：9783319415277
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23,
  • 作者：CAV 2016
  • ISBN：9783319415390
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

2016 IEEE 9th International Conference on Software Testing, Verification and Validation (ICST 2016)
  • 作者：International Conference on Software Testing,Verification and Validation
  • ISBN：9781509018284
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

2015 IEEE 9th International Workshop on Software Clones (IWSC 2015) : Montreal, Quebec, Canada, 6 Ma
  • 作者：International Workshop on Software Clones
  • ISBN：9781467369152
  • 出版社：Piscataway, NJ : IEEE, 2015.
  • 出版年：2015