大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 数字硬件的形式化验证 [电子资源]
名称 数字硬件的形式化验证 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 2001
ISBN 7301053320
页数 269页
价格
标签 经典、
简介
注解 国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。