中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

程序正确性证明方法/武斌著

出版发行项:

上海:上海财经大学出版社,2018

ISBN及定价:

978-7-5642-3169-9/CNY39.00

载体形态项:

129页;24cm

并列正题名:

Research on program correctness

个人责任者:

武斌 著

学科主题:

程序设计

中图法分类号:

TP311.1

一般附注:

本书由上海财经大学浙江学院发展基金资助出版

书目附注:

有书目 (第110-129页)

提要文摘附注:

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

使用对象附注:

程序设计技术人员

豆瓣简介：

随书光盘: