MARC状态:已编 文献类型:西文图书 浏览次数:20
- 题名/责任者:
- Formal development of programs and proofs / edited by Edsger W. Dijkstra.
- 出版发行项:
- Reading, Mass. : Addison-Wesley, c1990.
- ISBN:
- 0201172372
- 载体形态项:
- xiv, 242 p. : ill. ; 25 cm.
- 附加个人名称:
- Dijkstra, Edsger Wybe
- 论题主题:
- Computer programming-Congresses.
- 中图法分类号:
- TP311.52
- 书目附注:
- Includes bibliographical references.
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.52/E1 | 700015558 | ![]() |
可借 | 西文密集 | |
TP311.52/E1 | 700015559 | ![]() |
可借 | 西文密集 |
显示全部馆藏信息