登录
 机构网站
  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
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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：9783319415390
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23,
  • 作者：CAV 2016
  • ISBN：9783319415277
  • 出版社：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
...

IWPC 2001 : 9th International Workshop on Program Comprehension, 12-13 May 2001, Toronto, Canada : p
  • 作者：International Workshop on Program Comprehension
  • ISBN：0769511317
  • 出版社：Los Alamitos, California : IEEE Computer Society, c2001.
  • 出版年：2001