同类推荐
-
-
精细大偏差的理论分析及应用
-
¥58.00
-
-
数学规划建模方法
-
¥128.00
-
-
速通！深度学习的数学基础
-
¥69.00
-
-
数学建模
-
¥44.80
-
-
全国大学生数学建模竞赛试题研究:第4册
-
¥78.00
-
-
符号逻辑:棋盘上的三段论
-
¥68.00
-
-
数学模型与实验
-
¥42.10
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
|
|
图书信息
|
|
|
|
面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
|
| ISBN： | 9787111770688 |
定价： | ￥99.00 |
| 作者： | (德)迈克尔·休斯(Michael Huth)，(英)马克·莱恩(Mark Ryan)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2025年02月 |
开本： | 26cm |
| 页数： | 277页 |
装祯： | 平装 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
63
|
库区4/库区7/样本13/样本4
|
2025-10-26
|
|
其它供货商库存合计
|
304
|
|
2025-10-24
|
图书简介 | | 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。 |
|