登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Hardware and software : verification and testing : 13th International Haifa Verification Conference
出版社：
Cham, Switzerland : Springer Berlin Heidelberg, 2017.
ISBN：
9783319703886
出版年：
2017
作者：
International Haifa Verification Conference
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Hardware and software, verification and testing : Third International Haifa Verification Conference,
作者：
International Haifa Verification Conference
ISBN：
9783540779643
出版社：
Berlin ; New York : Springer, c2008.
出版年：
2008
Hardware and software, verification and testing : Second International Haifa Verification Conference
作者：
International Haifa Verification Conference
ISBN：
9783540708889
出版社：
Berlin ; New York : Springer, c2007.
出版年：
2007
Hardware and software verification and testing : First International Haifa Verification Conference,
作者：
International Haifa Verification Conference
ISBN：
3540326049
出版社：
Berlin ; New York : Springer, c2006.
出版年：
2006
Hardware and software : verification and testing, 7th international Haifa verification conference, H
作者：
International Haifa Verification Conference
ISBN：
9783642341878
出版社：
Berlin ; New York : Springer, c2012.
出版年：
2012
Hardware and software : verification and testing : 10th International Haifa Verification Conference,
作者：
International Haifa Verification Conference
ISBN：
9783319133379
出版社：
Cham : Springer, 2014.
出版年：
2014
Hardware and software : verification and testing : 12th International Haifa Verification Conference,
作者：
International Haifa Verification Conference
ISBN：
9783319490519
出版社：
Cham, Switzerland : Springer, 2016.
出版年：
2016
×
访问借阅管理系统
问图书管理员
馆际互借