借阅：2人
收藏：0人
软件工程卷
- 查看机读格式
.1 ,抽象与建模 = Software engineering .1 . Abstraction and modeling /Dines Bjorner著 ;刘伯超, 向剑文等译
ISBN/ISSN：978-7-302-20890-7
价格：CNY79.00
出版：北京 :清华大学出版社 ,2010.01
载体形态：xxxvii, 568页 :图 ;26cm
简介：本书介绍了抽象与建模的基本原理和技术。首先, 本卷给出了离散数学的基本介绍, 包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑, 然后讲授基本的面向属性与面向模型的规约的基本原理和技术。
附注：世界著名计算机教材精选
并列题名：Software engineering .1 . Abstraction and modeling
中图分类号：TP311.5
责任者：比约尼尔 ((Bjorner, Dines)) 著 刘伯超 译 向剑文 译
-
评分：
-
加入暂存架
