安徽科技学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:10

题名/责任者:
硬件设计验证:基于模拟与形式的方法/(美)William K. Lam著 王维维译
出版发行项:
北京:机械工业出版社,2007
ISBN及定价:
7-111-19502-7/CNY45.00
载体形态项:
12,359页;26cm
并列正题名:
Hardware design verification:simulation and formal method-based approaches
丛编项:
电子与电气工程丛书
个人责任者:
(美) 拉姆 (Lam, William K.) 著
个人次要责任者:
王维维
学科主题:
硬件-设计-验证
学科主题:
硬件
中图法分类号:
TP303
提要文摘附注:
本书全面介绍硬件系统设计验证的技术和方法,主要涉及基于模拟和形式验证的方法,内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。
全部MARC细节信息>>
索书号 条码号 年卷期 校区—馆藏地 书刊状态 还书位置
TP303/73 S3753673   总馆—综合书库A(龙湖)     可借 综合书库A(龙湖)
TP303/73 S554029   总馆—自然书库(凤阳)     可借
TP303/73 S554030   总馆—自然书库(凤阳)     可借
TP303/73 S554031   总馆—自然书库(凤阳)     可借
TP303/73 S554032   总馆—自然书库(凤阳)     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架