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

Computer aided verification : 32nd international conference CAV 2020 Los Angeles CA USA July 21
出版社：Cham, Switzerland : Springer, 2020.
ISBN：9783030532901
出版年：2020
作者：CAV 2020
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21
  • 作者：CAV 2020
  • ISBN：9783030532871
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July
  • 作者：CAV 2015
  • ISBN：9783319216676
  • 出版社：Cham : Springer, [2015]
  • 出版年：2015
...

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July
  • 作者：CAV 2015
  • ISBN：9783319216898
  • 出版社：Cham : Springer, [2015]
  • 出版年：2015
...

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13,
  • 作者：CAV 2012
  • ISBN：9783642314230
  • 出版社：Berlin : Springer, 2012.
  • 出版年：2012
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255398
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
  • 作者：CAV 2019
  • ISBN：9783030255428
  • 出版社：Cham, Switzerland : SpringerOpen, 2019.
  • 出版年：2019