江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



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

题名/责任者:
程序设计方法学引论/陶葆兰,李庆华编著
出版发行项:
武汉:华中理工大学出版社,1989.12
ISBN及定价:
7-5609-0320-7/$1.60
载体形态项:
241页;20厘米
编目员补充题名:
程序 设计 方法 引论
个人责任者:
陶葆兰 编著
个人责任者:
李庆华 编著
学科主题:
程序设计-方法
中图法分类号:
TP311.1
中图法分类号:
TP31
提要文摘附注:
本书论述了程序设计方法学的基本原理和方法,着重阐述程序构造和正确性证明同时进行,并以正确性证明为主导的研制程序的原则和方法。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态 还书位置
TP311/13 00002452   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 00002455   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 00002456   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 00002457   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 00095965   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 00100910   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 A0166993   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 A0166994   文理学院图书馆     导航 赠送出 文理学院图书馆
TP311/13 A0182647   样本密集书库     导航 阅览
显示全部馆藏信息
借阅趋势

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