MARC状态：已编 文献类型：中文图书 浏览次数：57
- 题名/责任者:
- B方法:assigning programs to meanings/(美) J-R Abrial著 裘宗燕译
- 出版发行项:
- 北京:电子工业出版社,2004
- ISBN及定价:
- 7-5053-9339-1/CNY57.00
- 载体形态项:
- 526页;26cm
- 并列正题名:
- B-Book:assigning programs to meanings
- 丛编项:
- 国外计算机科学教材系列
- 个人责任者:
- 阿布里亚尔 J-R (Abrial, J-R) 著
- 个人次要责任者:
- 裘宗燕 译
- 学科主题:
- 软件设计
- 中图法分类号:
- TP311.5
- 出版发行附注:
- 据Cambridge University Press 1996年英文版译出, 由Cambridge University Press授权电子工业出版社出版
- 责任者附注:
- 责任者规范汉译姓: 阿布里亚尔
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP311.5/54 | 00703444 |  东7层1区
|
可借 | |
| TP311.5/54 | 00703446 | 东7层1区
|
可借 | |
| TP311.5/54 | 00703445 | (东)下架室
|
分馆藏书 |
显示全部馆藏信息