MARC状态:已编 文献类型:中文图书 浏览次数:7
- 题名/责任者:
- B方法/(美)J-R Abrial著 裘宗燕译
- 出版发行项:
- 北京:电子工业出版社,2004
- ISBN及定价:
- 7-5053-9339-1/CNY57.00
- 载体形态项:
- 22,526页;22,526页
- 丛编项:
- 国外计算机科学教材系列
- 个人责任者:
- J-R Abrial 美 著
- 个人次要责任者:
- 裘宗燕 译
- 学科主题:
- 软件设计-教材
- 中图法分类号:
- TP311
- 提要文摘附注:
- 本书针对B方法这一重要的实用性软件形式化方法之一,介绍了B方法所用的数学基础,用其描述软件系统规范的语言记法,及基本程序结构和程序实例等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311/20YZ | 1K012805YZ | 湘中幼专图书馆 | 可借 | 湘中幼专图书馆 | |
TP311/20YZ | 1K012806YZ | 湘中幼专图书馆 | 可借 | 湘中幼专图书馆 | |
TP311/20YZ | 1K012807YZ | 湘中幼专图书馆 | 可借 | 湘中幼专图书馆 |
显示全部馆藏信息