当前位置：首页 > 名称
大约有28,756项符合查询结果项。（搜索耗时：0.2318秒）
为您推荐： title硬件产品经理成长手记 全彩 硬件产品经理成长手记 全彩 title it项目经理成长手记 第2版 硬件产品经理方法论 异步图书出品 硬件产品经理方法论 it项目经理成长手记
-
-
-
-
-
-
-
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
-
学科分类
出版时间