当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0429秒）
为您推荐： 现代建筑平面构成形式解读 日本建筑的形式 中国现代文学史上的民族形式论争 现代建筑平面构成形式解析 title现代建筑的形式基础 精 建筑形式的视觉动力 国外 理论译丛
-
-
-
-
-
-
-
-
-
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...