T·梅尔姆。 高阶逻辑和硬件验证。 （英语） 兹伯利0819.68015 剑桥理论计算机科学丛书. 31. 剑桥：大学出版社。十三、 165页24.95英镑；39.95美元/hc（1993年）。 本书展示了如何使用形式逻辑来推理数字硬件设计的行为。主要关注的是处理此活动复杂性的基本工具，即使用抽象来弥合不同详细级别的硬件逻辑描述之间的差距。 引用于1审查引用于10文件 MSC公司： 68M99型 计算机系统组织 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68T27型 人工智能中的逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：形式逻辑;数字硬件设计 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham}，高阶逻辑和硬件验证。剑桥：大学出版社（1993；Zbl 0819.68015） 全文： 内政部