登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Computer logic testing and verification
出版社：
Potomac, Md. : Computer Science Press, c1980.
ISBN：
0914894625
出版年：
1980
作者：
Roth,J. Paul
资源类型：
图书
细分类型：
西文文献
3浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Sequential logic testing and verification
作者：
Ghosh,Abhijit,
ISBN：
0792391888
出版社：
Boston : Kluwer Academic, c1992.
出版年：
1992
Guideline for lifecycle validation, verification, and testing of computer software.
ISBN：
CNY77.35
出版社：
Washington: National Bureau of Standards, 1983.
出版年：
1983
Guideline for lifecycle validation, verification, and testing of computer software.
出版社：
Washington: National Bureau of Standards, 1983.
出版年：
1983
Logic synthesis and verification
作者：
Hassoun,Soha.
ISBN：
0792376064
出版社：
Boston : Kluwer Academic Publishers, c2002.
出版年：
2002
Logic synthesis and verification algorithms
作者：
Hachtel,Gary D.
ISBN：
0387310045
出版社：
Boston : Kluwer Academic Publishers, c1996.
出版年：
1996
Hardware and software : verification and testing
作者：
International Haifa Verification Conference
ISBN：
9783642017018
出版社：
Berlin ; New York : Springer, c2009.
出版年：
2009
×
访问借阅管理系统
问图书管理员
馆际互借