MARC状态：订购 文献类型：中文图书 浏览次数：34
- 题名/责任者:
- 程序正确性证明方法/武斌著
- 出版发行项:
- 上海:上海财经大学出版社,2018.12
- ISBN及定价:
- 978-7-5642-3169-9/CNY39.00
- 载体形态项:
- 129页;24cm
- 个人责任者:
- 武斌 著
- 学科主题:
- 程序设计
- 中图法分类号:
- TP311.1
- 出版发行附注:
- 本书由上海财经大学浙江学院发展基金资助出版
- 责任者附注:
- 武斌, 理学博士, 副教授, 上海财经大学浙江学院统计系副主任, 主要从事算法设计、机器学习等方面的研究。
- 书目附注:
- 有书目 (第110-129页)
- 提要文摘附注:
- 本书在前人研究的基础上, 利用符号计算的思想和方法研究了程序验证领域的三个基本问题: 循环不变式生成、程序终止性分析以及前置条件生成。
- 使用对象附注:
- 程序设计人员
全部MARC细节信息>>