江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态：订购　 文献类型：中文图书　浏览次数：16　

题名/责任者:
硬件设计验证/兰姆,(Lam, William K.)
出版发行项:
北京:机械工业出版社,2007
ISBN及定价:
7-111-19502-7/CNY45.00
载体形态项:
359页:图;26cm
并列正题名:
Hardware design verification,simulation and formal method-based approaches,eng
丛编项:
电子与电气工程丛书
个人责任者:
兰姆,(Lam, William K.)
团体责任者:
王维维
学科主题:
硬件
学科主题:
设计
学科主题:
验证
中图法分类号:
TP303,4
全部MARC细节信息>>
此书刊没有复本
此书刊可能正在订购中或者处理中
显示全部馆藏信息
借阅趋势

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