书目详细信息
： 程序正确性证明方法
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5642-3169-9:CNY39.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 310000 |
| 题名责任者项： | 程序正确性证明方法/.武斌著 |
| 出版发行项： | 上海:,上海财经大学出版社:,2018 |
| 载体形态项： | 129页:;+24cm |
| 一般附注： | 上海财经大学浙江学院发展基金资助出版 |
| 提要文摘： | 本书在前人研究的基础上，利用符号计算的思想和方法研究了程序验证领域的三个基本问题：循环不变式生成、程序终止性分析以及前置条件生成。 |
| 并列题名： | Research on program correctness eng |
| 题名主题： | 程序设计 |
| 中图分类： | TP311.1 |
| 个人名称等同： | 武斌 著 |
| 记录来源： | CN WXLS 20200325 |