暂无评论
图文详情
- ISBN:9787312058752
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:356
- 出版时间:2024-05-01
- 条形码:9787312058752 ; 978-7-312-05875-2
内容简介
形式化方法是计算机科学理论中历史悠久、理论性强、发展成熟的学科,已发展成为计算机 科学的重要分支之一。形式化方法主要用数学的理论和工具,对计算机软硬件系统进行形式建模和性质推理研究,以期证明系统的实现正确性,或提高系统的可靠性和健壮性等。本书全面讲授形式化方法理论及应用,从基础知识出发,讨论了数理逻辑、可满足性、决策过程以及理论应用等内容,并给出了丰富的实例。全书共分为 13 章,分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理 论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容,并给出了充分的实践讨论与应用实例。
本类五星书
本类畅销
-
她们
¥15.4¥46.8 -
快乐就是哈哈哈哈哈 插图纪念版
¥16.6¥52.0 -
献给爱与子宫的花束
¥23.0¥59.0 -
十三邀4:“这样的时代,有这样一个人”(八品)
¥22.6¥58.0 -
唇间的美色
¥22.1¥65.0 -
我从未如此眷恋人间
¥16.4¥49.8 -
我是一只骆驼
¥10.2¥32.0 -
捕梦网
¥17.1¥45.0 -
生活如此多娇(九品)
¥18.2¥48.0 -
世界文学名著典藏·全译本:白痴
¥17.9¥56.0 -
风筝--毛姆短篇小说集
¥14.7¥46.0 -
山月记
¥16.8¥39.0 -
雪国
¥16.8¥43.0 -
鼠疫
¥14.7¥38.8 -
姑妈的宝刀
¥9.6¥30.0 -
中国近代史
¥13.1¥39.8 -
经典常谈
¥4.4¥14.8 -
海底两万里
¥15.7¥49.0 -
偏见
¥16.8¥56.0 -
鸟与兽的通俗生活
¥12.7¥39.8