MARC状态:审校 文献类型:中文图书 浏览次数:30
- 题名/责任者:
- 程序正确性证明方法/武斌著
- 出版发行项:
- 上海:上海财经大学出版社,2018
- ISBN及定价:
- 978-7-5642-3169-9/CNY39.00
- 载体形态项:
- 129页;24cm
- 个人责任者:
- 武斌 著
- 学科主题:
- 程序设计
- 中图法分类号:
- TP311.1
- 一般附注:
- 本书由上海财经大学浙江学院发展基金资助出版
- 书目附注:
- 有书目 (第110-129页)
- 提要文摘附注:
- 本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义,程序正确性证明的发展历程,程序部分正确性证明的不变式断言法、子目标断言法和公理化方法,程序终止性证明的良序集方法和不动点方法,以及程序完全正确性证明的公理化方法等。
- 使用对象附注:
- 程序设计技术人员
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.1/292 | CN1779643 | ![]() |
阅览 | 内阅图书 | |
TP311.1/292 | CN1779644 | ![]() |
可借 | 未央馆 | |
TP311.1/292 | CN1779645 | ![]() |
可借 | 未央馆 |
显示全部馆藏信息