程序正确性证明方法

书籍简介:

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

书籍规格:

书籍信息归属:

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