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

Computer aided verification : 34th International Conference CAV 2022 Haifa Israel August 7-10 2
出版社：Cham, Switzerland : Springer, 2022.
ISBN：9783031131844
出版年：2022
作者：CAV 2022
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2
  • 作者：CAV 2022
  • ISBN：9783031131875
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-2
  • 作者：CAV (Conference)
  • ISBN：354037406X
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2
  • 作者：IJCAR 2022
  • ISBN：9783031107689
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

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 : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 20
  • 作者：CAV 2007
  • ISBN：9783540733676
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14
  • 作者：CAV 2008
  • ISBN：9783540705437
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008