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

Software verification : 12th international conference VSTTE 2020 and 13th international workshop

出版社：Cham, Switzerland : Springer, 2020.
ISBN：9783030636173
出版年：2020
作者：VSTTE 2020
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19
  • 作者：VSTTE 2021
  • ISBN：9783030955601
  • 出版社：Cham : Springer, 2022.
  • 出版年：2022
...

Hardware and software : verification and testing : 12th International Haifa Verification Conference,
  • 作者：International Haifa Verification Conference
  • ISBN：9783319490519
  • 出版社：Cham, Switzerland : Springer, 2016.
  • 出版年：2016
...

Hardware and software : verification and testing : 13th International Haifa Verification Conference,
  • 作者：International Haifa Verification Conference
  • ISBN：9783319703886
  • 出版社：Cham, Switzerland : Springer Berlin Heidelberg, 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
...

12th International Conference on Software Engineering
  • 作者：International Conference on Software Engineering
  • ISBN：0818620269
  • 出版社：Los Alamitos : IEEE Computer Society, c1990
  • 出版年：1990
...

12th International Conference on Software Engineering
  • 作者：International Conference on Software Engineering
  • ISBN：0818620269 23.40
  • 出版社：Los Alamitos : IEEE Computer Society, c1990
  • 出版年：1990