首记录 上一条 1 / 4 下一条 尾记录
MARC状态：审校
文献类型：中文图书 浏览次数：81
- 题名/责任者:
- 程序设计方法学引论/陶葆兰, 李庆华编著
- 出版发行项:
- 武汉:华中理工大学出版社,1989
- ISBN及定价:
- 7-5609-0320-7/CNY1.60
- 载体形态项:
- 241页;20cm
- 个人责任者:
- 陶葆兰 编著
- 个人责任者:
- 李庆华 编著
- 学科主题:
- 程序设计-方法
- 中图法分类号:
- TP311
- 提要文摘附注:
- 本书论述了程序设计方法学的基本原理和方法,着重阐述程序构造和正确性证明同时进行,并以正确性证明为主导的研制程序的原则和方法。
-
- 豆瓣简介：
-
全部MARC细节信息>>
| 索书号 |
条码号 |
年卷期 |
馆藏地 |
书刊状态 |
定位 |
| TP311/7748 |
0028422 |
|
 密集书库一
|
可借 |
|
定位 |
| TP311/7748 |
0043809 |
|
密集书库一
|
可借 |
|
定位 |
| TP311/7748 |
0115541 |
|
理科综合阅览室
|
保留本 |
|
定位 |
显示全部馆藏信息
借阅趋势
