当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0148秒）
为您推荐： 证明责任论 title证明责任论 第5版 证明 证明责任 人性的证明 哥德尔证明
-
-
-
-
-
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
可信计算远程证明与应用
闫建红著2017 年出版162 页ISBN：9787115475787可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...