当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0118秒）
为您推荐： 基于3s和4d的城市规划设计集成技术研究 基于环境承载力的环渤海经济活动影响监测与调控技术研究 数字化音乐平台下作曲技术理论课程教学的 基于单个点地标被动观测的飞行器视觉辅助导航技术 获取 投影
-
-
-
-
-
-
-
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
-
