大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：已编 文献类型：中文图书 浏览次数：12

题名/责任者:
硬件设计验证:基于模拟与形式的方法/(美) William K. Lam著 王维维译
出版发行项:
北京:机械工业出版社,2007
ISBN及定价:
7-111-19502-7/CNY45.00
载体形态项:
359页:图;26cm
统一题名:
Hardware design verification : simulation and formal method-based approaches
丛编项:
电子与电气工程丛书
个人责任者:
拉姆 (Lam, William K. C.), 1962- 著
个人次要责任者:
王维维 译
学科主题:
硬件-设计-验证
中图法分类号:
TP303
责任者附注:
责任者Lam规范汉译姓: 拉姆
书目附注:
有书目 (第340-357页)
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP303/L02#1 00662083   样本书阅览室     可借
TP303/L02#1 00662084   密集书库 013-2-3-5     非可借 密集书库
TP303/L02#1 00662085   密集书库 013-2-3-5     非可借 密集书库
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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