当前位置:首页 > 名称
大约有509,049项符合查询结果项。(搜索耗时:0.7326秒)
为您推荐: 宗教的本质与表现形式 title城市与国家财富 经济生活的基本原则 人与神 宗教生活的理解 宗教生活的理解 数理逻辑基本原理与形式演算第2版 形式的起源
-
-
-
-
-
-
数字硬件的形式化验证
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
-
-
-
学科分类
出版时间