MARC状态：已编 文献类型：西文图书 浏览次数：23
- 题名/责任者:
- Programming logics : an introduction to verification and semantics / Raymond D. Gumb.
- 出版发行项:
- New York : Wiley, c1989.
- ISBN:
- 0471605395
- 载体形态项:
- xvii, 334 p. : ill. ; 23 cm.
- 个人责任者:
- Gumb, Raymond D.
- 论题主题:
- Programming languages (Electronic computers)-Semantics.
- 论题主题:
- Computer programs-Verification.
- 中图法分类号:
- TP311
- 书目附注:
- Includes bibliographical references(p.309-315) and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311/E13 | 700014667 |  西文密集
|
可借 | 西文密集 | |
| TP311/E13 | 700014668 | 西文密集
|
可借 | 西文密集 |
显示全部馆藏信息