MARC状态：已编 文献类型：中文图书 浏览次数：77
- 题名/责任者:
- 程序验证和规范的形式方法/(美)伯格著 宋国新译
- 出版发行项:
- 北京:科学出版社,1988.04
- ISBN及定价:
- 7-03-000279-2/CNY2.15
- 载体形态项:
- 250 页;19cm
- 个人责任者:
- 伯格 (Berg,H.K.) 著
- 个人次要责任者:
- 宋国新 译
- 学科主题:
- 程序验证
- 中图法分类号:
- TP31-65
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP31-65/1 | 009682 |  西区密排2区
|
可借 | |
| TP31-65/1 | 01327770 | (东)下架室
|
分馆藏书 | |
| TP31-65/1 | 035148 | (西)三层(下架)
|
可借 |
显示全部馆藏信息