书籍简介:

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以及程序完全正确性证明的公理化方法等。

书籍规格:

书籍详细信息
书名	程序正确性证明方法站内查询相似图书
	9787564231699 如需购买下载《程序正确性证明方法》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	上海	出版单位	上海财经大学出版社
版次	1版	印次	1
定价(元)	40.0	语种	简体中文
尺寸	26 × 19	装帧	平装
页数		印数

程序正确性证明方法是上海财经大学出版社于2018.11出版的中图分类号为 TP311.1 的主题关于程序设计的书籍。