登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
BDD构造与验证、测试生成的研究
出版年:
1995
作者:
何新华
资源类型:
图书
细分类型:
学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
量子电路的测试生成与验证
作者:
陈柯安
出版社:
中国科学院软件研究所
出版年:
2024
MCU验证与测试关键技术研究
作者:
刘畅然
出版社:
中国科学院大学集成电路学院
出版年:
2022
集成电路功能测试建模与验证研究
作者:
施援
出版年:
1996
基于微处理器状态的随机验证程序生成研究
作者:
钟辉
出版年:
2014
语言测试与效度验证 :基于证据的研究方法 :an evidence-based approach
作者:
韦尔
ISBN:
9787521329742
出版社:
外语教学与研究出版社
出版年:
2021
ICN现场名字解析系统结构生成与优化方法研究及验证
作者:
谢伟
出版社:
中国科学院声学研究所
出版年:
2022
×
访问借阅管理系统