|
题名:
|
软件工程 / (丹)Dines Bjфrner著 , 刘伯超，向剑文等译 |
|
ISBN:
|
978-7-302-20890-7 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
37,568页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010 |
|
内容提要:
|
本书介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，该卷则通过RAISE规约语言RSL来讲解这个概念。 |
|
主题词:
|
软件工程 |
|
主题词:
|
软件工程 |
|
中图分类法:
|
TP311.5 版次： 4 |
|
主要责任者:
|
比约恩埃尔 著 |
|
次要责任者:
|
刘伯超 译 |
|
次要责任者:
|
向剑文 译 |
|
附注:
|
翻译版由Springer-Verlag授权出版 |