当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0202秒）
为您推荐： 算法共谋 数字经济时代的监管难题 数字经济时代的营业性构造演进与商主体体系创新研究 何去何从 数字化时代的商业银行转型 人工智能 数字时代产业发展的新动能 数字时代图书馆危机管理 数字经济导论21世纪经济管理新形态教材
-
-
-
-
数字硬件的形式化验证 【工业技术】
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
-
-
-
-
-
学科分类