MARC状态：已编 文献类型：西文图书 浏览次数：37
- 题名/责任者:
- The logical basis for computer programming, v.2 : deductive systems / Zohar Manna, Richard Waldinger.
- 出版发行项:
- Reading, Mass. : Addison-Wesley, c1985-c1990.
- ISBN:
- 0201182610 (v. 2)
- 载体形态项:
- 642 p. : ill. ; 25 cm.
- 个人责任者:
- Manna, Zohar.
- 附加个人名称:
- Waldinger, Richard.
- 论题主题:
- Electronic digital computers-Programming.
- 中图法分类号:
- TP311
- 书目附注:
- Includes bibliographies and indexes.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311/E5:2 | 700014578 |  西文密集
|
可借 | 西文密集 | |
| TP311/E5:2 | 700014579 | 西文密集
|
可借 | 西文密集 |
显示全部馆藏信息