登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Automated Technology for Verification and Analysis
EISBN：9783031453328
PISBN：9783031453311
出版社：Springer Nature
出版时间：2023
作者：Étienne André,Jun Sun
主题词：Computers,Software Development & Engineering,General,Computers,Artificial Intelligence,General,Computers,Computer Science,Computers,Hardware,General,Computers,Networking,General
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Automated Technology for Verification and Analysis
  • 作者：Farn Wang
  • EISBN：9783540304760
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Automated Technology for Verification and Analysis
  • 作者：Bernd Finkbeiner,Geguang Pu,Lijun Zhang
  • EISBN：9783319249537
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Automated Technology for Verification and Analysis
  • 作者：Yu-Fang Chen,Chih-Hong Cheng,Javier Esparza
  • EISBN：9783030317843
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Automated Technology for Verification and Analysis
  • 作者：Dang Hung,Mizuhito Ogawa
  • EISBN：9783319024448
  • 出版社：Springer International Publishing
  • 出版时间：2013
...

Automated Technology for Verification and Analysis
  • 作者：Farn Wang
  • EISBN：9783540304760
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Automated Technology for Verification and Analysis
  • 作者：Franck Cassez,Jean-François Raskin
  • EISBN：9783319119366
  • 出版社：Springer International Publishing
  • 出版时间：2014