MARC状态：已编 文献类型：中文图书 浏览次数：22
- 题名/责任者:
- 程序验证和规范的形式方法/(美)伯格,H.K.等著 宋国新等译
- 出版发行项:
- 北京:科学出版社,1988.4
- ISBN及定价:
- 平装/2.15元
- 载体形态项:
- 250页;19cm
- 个人主要责任者:
- 伯格,H.K.等 著
- 个人次要责任者:
- 宋国新等 译
- 中图法分类号:
- TP31
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP31/78 | 148421 |  洪庆校区
|
可借 | ||
| TP31/78 | 148424 | 洪庆校区
|
可借 | ||
| TP31/78 | 148425 | 中转库
|
非可借 | 中转库 | |
| TP31/78 | 148423 | 内阅图书
|
可借 |
显示全部馆藏信息