MARC状态:审校 文献类型:中文图书 浏览次数:51
- 题名/责任者:
- 程序正确性证明方法/武斌著
- 出版发行项:
- 上海:上海财经大学出版社,2018
- ISBN及定价:
- 978-7-5642-3169-9/CNY39.00
- 载体形态项:
- 129页;24cm
- 个人责任者:
- 武斌 著
- 学科主题:
- 程序正确性证明
- 中图法分类号:
- TP311.1
- 一般附注:
- 上海财经大学浙江学院发展基金资助出版
- 责任者附注:
- 武斌,理学博士,教授,上海财经大学浙江学院统计系副主任。
- 书目附注:
- 有书目 (第110-129页)
- 提要文摘附注:
- 本书在前人研究的基础上,利用符号计算的思想和方法研究了程序验证领域的三个基本问题:循环不变式生成、程序终止性分析以及前置条件生成。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.1/1001 | 72338654 | 自然书库(3F东) | 可借 | 自然书库(3F东) | |
TP311.1/1001 | 72338655 | 自然书库(3F东) | 可借 | 自然书库(3F东) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架