MARC状态：审校 文献类型：中文图书 浏览次数：5
- 题名/责任者:
- 程序验证和规范的形式方法/(美)伯格等著 宋国新译
- 出版发行项:
- 北京:科学出版社,1988.4
- ISBN及定价:
- 7030002792/CNY2.15
- 载体形态项:
- 250页;19厘米
- 个人责任者:
- 伯格 著
- 个人次要责任者:
- 宋国新 译
- 中图法分类号:
- TP31
- 科图法分类号:
- 73.87221
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| 73.87221/41Q1 | 001371417 |  密集书库
|
可借 | |
| 73.87221/41Q1 | 001371418 | 密集书库
|
可借 | |
| 73.87221/41Q1 | 001371419 | 密集书库
|
可借 | |
| 73.87221/41Q1 | 001371421 | 密集书库
|
可借 | |
| TP31/B346 | 004131692 | 密集书库
|
可借 | |
| TP31/B346 | 004131934 | 密集书库
|
可借 |
显示全部馆藏信息