当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0521秒)
为您推荐: 数字信号处理简明教程郑南宁pdf 金属学与热处理第二版 数字信号处理教程 数字信号处理实验与课程设计教程 21世纪实用英语综合教程第二版 湘雅临床技能培训教程第二版
-
-
数字硬件的形式化验证 【工业技术】
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
-
-
-
-
-
-
-
学科分类
