《程序证明》一书向大家展示了程序编写规范的意义,以及如何编写连接规范和程序的证明。作者以清晰和幽默的文字,概述了程序推理的基本理论,逐步建立起复杂的概念和应用,直到你对使用对象、数据结构和非微观递归等概念有全面的认知。这本全面和高度可读的教科书教学生如何使用增量方法和验证感知的编程语言Dafny来形式化地推理计算机程序。程序证明向学生展示了为程序编写规范意味着什么,程序满足这些规范意味着什么,以及如何编写将规范和程序联系起来的证明。K. Rustan M. Leino以清晰和幽默的笔法,首先概述了程序推理背后的基本理论。然后,他逐渐建立起复杂的概念和应用程序,直到学生们面对使用对象、数据结构和非平凡递归的真正程序。为了强调程序证明的实用性,所有材料和例子都使用验证感知的程序证明语言Dafny,但不需要事先知道Dafny。

  • 以易于阅读和学生友好的风格撰写逐步构建复杂的概念
  • 全面涵盖如何编写证明以及如何指定和验证函数式程序和命令式程序
  • 使用来自真实编程语言的真实程序文本,而不是伪代码
  • 特色引人入胜的插图和动手学习练习

https://mitpress.mit.edu/9780262546232/program-proofs/

成为VIP会员查看完整内容
61

相关内容

【Manning新书】面向数据编程降低软件复杂度,426页pdf
专知会员服务
74+阅读 · 2022年9月5日
【2022新书】有趣的数据结构,307页pdf带你轻松学习
专知会员服务
121+阅读 · 2022年8月29日
【2021新书】面向对象的Python编程,418页pdf
专知会员服务
70+阅读 · 2021年12月15日
基于Python介绍算法和数据结构的在线互动书,240页pdf
专知会员服务
59+阅读 · 2021年2月3日
专知会员服务
115+阅读 · 2021年1月31日
【2020新书】Python专业实践,250页pdf,Practices of the Python Pro
【2020新书】高级Python编程,620页pdf
专知会员服务
231+阅读 · 2020年7月31日
【Manning新书】现代Java实战,592页pdf
专知会员服务
98+阅读 · 2020年5月22日
【2022新书】Python数学逻辑,285页pdf
专知
9+阅读 · 2022年11月24日
【2022新书】Python DevOps,245页pdf
专知
5+阅读 · 2022年7月11日
【实用书】强化学习实战:Python,110页pdf
12本新书上市
图灵教育
23+阅读 · 2018年6月4日
这可能是学习Python最好的免费在线电子书
程序猿
51+阅读 · 2018年5月17日
这几本Python新书特别赞
图灵教育
19+阅读 · 2018年3月1日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
16+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2023年5月17日
Arxiv
0+阅读 · 2023年5月16日
Arxiv
57+阅读 · 2022年1月5日
VIP会员
相关VIP内容
【Manning新书】面向数据编程降低软件复杂度,426页pdf
专知会员服务
74+阅读 · 2022年9月5日
【2022新书】有趣的数据结构,307页pdf带你轻松学习
专知会员服务
121+阅读 · 2022年8月29日
【2021新书】面向对象的Python编程,418页pdf
专知会员服务
70+阅读 · 2021年12月15日
基于Python介绍算法和数据结构的在线互动书,240页pdf
专知会员服务
59+阅读 · 2021年2月3日
专知会员服务
115+阅读 · 2021年1月31日
【2020新书】Python专业实践,250页pdf,Practices of the Python Pro
【2020新书】高级Python编程,620页pdf
专知会员服务
231+阅读 · 2020年7月31日
【Manning新书】现代Java实战,592页pdf
专知会员服务
98+阅读 · 2020年5月22日
相关资讯
【2022新书】Python数学逻辑,285页pdf
专知
9+阅读 · 2022年11月24日
【2022新书】Python DevOps,245页pdf
专知
5+阅读 · 2022年7月11日
【实用书】强化学习实战:Python,110页pdf
12本新书上市
图灵教育
23+阅读 · 2018年6月4日
这可能是学习Python最好的免费在线电子书
程序猿
51+阅读 · 2018年5月17日
这几本Python新书特别赞
图灵教育
19+阅读 · 2018年3月1日
相关基金
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
16+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员