MARC状态：审校 文献类型：中文图书 浏览次数：26
- 题名/责任者:
- 软件工程:[英文版].卷1.抽象与建模/(丹)比约纳Dines Bjorner[著]
- 版本说明:
- 影印版
- 出版发行项:
- 北京:清华大学出版社,2007
- ISBN及定价:
- 978-7-302-15428-0/CNY79.00
- 载体形态项:
- 39,711页:图;23cm
- 并列正题名:
- Software engineering.1.Abstraction and modelling
- 丛编项:
- 大学计算机教育国外著名教材系列
- 个人责任者:
- (丹) 比约纳Bjorner Dines 著
- 学科主题:
- 软件工程-高等学校-教材
- 学科主题:
- 软件工程
- 中图法分类号:
- TP311.5
- 版本附注:
- 本书影印版由Springer-Verlag授权出版
- 书目附注:
- 本书第687-711页附有书目，后附索引。
- 提要文摘附注:
- 本书介绍了抽象与建模的基本原理和技术。包括数、集合、笛卡尔、类型、函数、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP311.5/2223 | 71174257 | - |  外文书库(外文版)（密集书库136）
|
可借 |
| TP311.5/2223 | 71174258 | - | 外文书库(外文版)（密集书库136）
|
可借 |
| TP311.5/2223 | 71174256 | - | 样本书阅览室（密集书库136）
|
非可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架