热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 262 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
前最近几年，开发软件系统巴面临重重困难和挫折，以致“软件危机”变成了一句口头禅。为对付这种危桃；软件立作者着手于应用和理论两个领域内的工作。在应用领域，开始用软件工程的方法代替程序设计的技巧.在理论领域，研究形式数学推理在软件开发中可能起的作用.形式方法主要位用于程序验证，人们用数学方法去证明给定的程序是否正确.这种论证需要正确性的严密定义；这种定义由形式规范给出.本书介绍规范和验证两个方面的基介绍的内容自然是从涉及的技术中选择的，同时也必然会为了叙述的简明而忽略了叙述的严密.在介绍过程中，该领域的有些工作被忽略了，有些工作虽然提到了但未能更详尽地论述，我们预先向这些研究者表示歉意.想进一步研究这些技术的读者可在参考文献所列的文章中找到补充的资我们希望读者注意到本书是从阐述这些技术的角度，而不是从提倡使用这些技术的角度来编写的。我们认识到形式方法有其局限性，有效地使用这些方法需要广泛的机械系统支持，而且对实际中常见的大型和复杂的程序而言，使用目前所研究的这些技术还是有困难的.但从另-一方面来讲，我们认为，基于形式规范和验证的原理为开发正确的可维护的程序提供了极好的指导.因此，尽管我们并不认为每个程序都应该加以形式规范和验证，但是我们认为每一个想要成为行家的程序员至少应该了解这些技术及其数学基础本书有两种阅读方法。第一种，读者不必注意例题证明中的细节而只了解思想。第二种，读者注意了这些证明，从而本书内容就变得更有意义和更为完善。希望读者在每种阅读中都能得益书初稿时给予的帮助。，WR.弗兰塔
