形式化方法
TP301.2/2422
理论及应用 theory and applications
研究生系列教材
华保健编著
合肥 中国科学技术大学出版社 2024
978-7-312-05875-2
347页 26cm
形式语言 研究生
5
中文图书
研究生系列教材
一流规划教材 中国科学技术大学研究生教育创新计划项目经费支持
本书共分为13章，分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容，并给出了实践讨论与应用实例。
1
1
无
华保健编著. 形式化方法[M]. 合肥 中国科学技术大学出版社 2024.
点此复制
点此复制
馆藏地址
| 条形码 | 目前状态 | 卷册号 | 馆藏地址 | 架位信息 |
|---|---|---|---|---|
| H412401 | 在馆 | 徐汇中文书库 | 书库3楼 5排4列3层 |