| 暂存书架(0) | 登录

MARC状态：已编 文献类型：中文图书 浏览次数：52

题名/责任者:
程序设计方法学/胡正国等编著
出版发行项:
北京:国防工业出版社,2003
ISBN及定价:
7-118-02972-6/CNY23.00
载体形态项:
266页;26cm
个人责任者:
胡正国等 编著
学科主题:
程序设计-方法
学科主题:
程序设计
中图法分类号:
TP311.11
提要文摘附注:
本书主要介绍了程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明等程序设计方法学的基础知识。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.11/3 00160781 2011  自然书库     可借 自然书库
TP311.11/3 00160782 2011  自然书库     可借 自然书库
TP311.11/3 00160783 2011  自然书库     可借 自然书库
TP311.11/3 00160784 2011  自然书库     可借 自然书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
-->
姓名：
手机号：
送 书 地：
收藏到： 管理书架