Computer Aided Verification

EISBN:9783031131851
PISBN:9783031131844
出版社:Springer Nature
出版时间:2022
作者:Sharon Shoham;Yakir Vizel
主题词:Computer Science
学科:T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP306 调整、测试、校验
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Computer Aided Verification

  • 作者:Rupak Majumdar,Viktor Kunčak
  • EISBN:9783319633909
  • 出版社:Springer International Publishing
  • 出版时间:2017

Computer Aided Verification

  • 作者:Swarat Chaudhuri,Azadeh Farzan
  • EISBN:9783319415406
  • 出版社:Springer International Publishing
  • 出版时间:2016

Computer Aided Verification

  • 作者:P. Madhusudan,Sanjit A. Seshia
  • EISBN:9783642314247
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Computer Aided Verification

  • 作者:Thomas Ball,Robert B. Jones
  • EISBN:9783540374114
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Computer Aided Verification

  • 作者:Isil Dillig,Serdar Tasiran
  • EISBN:9783030255435
  • 出版社:Springer International Publishing
  • 出版时间:2019

Computer Aided Verification

  • 作者:Constantin Enea,Akash Lal
  • EISBN:9783031377037
  • 出版社:Springer Nature
  • 出版时间:2023