西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
程序设计方法学/胡正国等编著
出版发行项:
北京:国防工业出版社,2003
ISBN及定价:
7-118-02972-6/CNY23.00
载体形态项:
266页;26cm
个人责任者:
胡正国 编著
个人责任者:
吴健 编著
个人责任者:
邓正宏 编著
学科主题:
程序设计-方法
学科主题:
程序设计
中图法分类号:
TP311.11
提要文摘附注:
本书主要介绍了程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明等程序设计方法学的基础知识。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.11/38 CN1727243   资料室密集     可借
TP311.11/38 CN1729997   资料室密集     可借
TP311.11/38 CN1744144   资料室密集     可借
TP311.11/38 CN1744145   资料室密集     可借
TP311.11/38 CN1745505   资料室     可借
TP311.11/38 CN1696701   爱心书屋     可借
TP311.11/38 CN1696703   爱心书屋     可借
TP311.11/38 391356   密集库1     可借
TP311.11/38 391358   密集库1     可借
TP311.11/38 391359   洪庆校区     可借
TP311.11/38 391360   洪庆校区     可借
TP311.11/38 391355   内阅图书     可借
TP311.11/38 391357   金花馆     可借
显示全部馆藏信息
借阅趋势

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