| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:46

题名/责任者:
程序正确性证明方法/武斌著
出版发行项:
上海:上海财经大学出版社,2018
ISBN及定价:
978-7-5642-3169-9/CNY39.00
载体形态项:
129页;24cm
并列正题名:
Research on program correctness
个人责任者:
武斌
学科主题:
程序设计
中图法分类号:
TP311.1
一般附注:
本书由上海财经大学浙江学院发展基金资助出版
书目附注:
有书目 (第110-129页)
提要文摘附注:
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义,程序正确性证明的发展历程,程序部分正确性证明的不变式断言法、子目标断言法和公理化方法,程序终止性证明的良序集方法和不动点方法,以及程序完全正确性证明的公理化方法等。
使用对象附注:
程序设计技术人员
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.1/132 01250217   西区4层      可借
TP311.1/132 01250216   东3层4区      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架