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

Software verification : 13th International Conference VSTTE 2021 New Haven CT USA October 18-19
出版社：Cham : Springer, 2022.
ISBN：9783030955601
出版年：2022
作者：VSTTE 2021
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop,
  • 作者：VSTTE 2020
  • ISBN：9783030636173
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

Hardware and software : verification and testing : 13th International Haifa Verification Conference,
  • 作者：International Haifa Verification Conference
  • ISBN：9783319703886
  • 出版社：Cham, Switzerland : Springer Berlin Heidelberg, 2017.
  • 出版年：2017
...

Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 1
  • 作者：International Symposium on Search Based Software Engineering
  • ISBN：9783030881054
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021
...

Intelligent human computer interaction : 13th International Conference, IHCI 2021, Kent, OH, USA, De
  • 作者：International Conference on Intelligent Human Computer Interaction
  • ISBN：9783030984038
  • 出版社：Cham : Springer, 2022.
  • 出版年：2022
...

Social informatics : 13th international conference, SocInfo 2022, Glasgow, UK, October 19-21, 2022,
  • 作者：SocInfo 2022
  • ISBN：9783031190964
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 20
  • 作者：CAV 2001
  • ISBN：3540423451
  • 出版社：Berlin : Springer, c2001.
  • 出版年：2001