图书名：硬件设计验证 : 基于模拟与形式的方法= Hardware design verification : simulation and formal method-based approaches 978-7-121-19583-9 9787121195839 作者：(美) William K. Lam著 ; 王维维译

首页登录注册分类号查询汉语著者号查询 MARC解析四角代码查询在线编目

图书详情

书名: 硬件设计验证 : 基于模拟与形式的方法= Hardware design verification : simulation and formal method-based approaches

ISBN: 978-7-121-19583-9

作者: (美) William K. Lam著 ; 王维维译

出版社: 电子工业出版社

出版日期: 2013

登录MARC详情

简介