|
题名:
|
判定过程 [ 专著] pan ding guo cheng / (英)丹尼尔·克勒宁(Daniel Kroening)，(以)奥弗·施特里希曼(Ofter Strichman)著 , 蔡少伟译 |
|
ISBN:
|
978-7-115-66220-0 价格： CNY159.80 |
|
语种:
|
chi |
|
载体形态:
|
352页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2025 |
|
内容提要:
|
本书介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。 |
|
主题词:
|
计算机算法 |
|
中图分类法:
|
TP301.6 版次： 5 |
|
主要责任者:
|
克勒宁 ke le ning 著 |
|
主要责任者:
|
施特里希曼 shi te li xi man 著 |
|
次要责任者:
|
蔡少伟 cai shao wei 译 |