浙江药科职业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件工程:[英文本].卷1.抽象与建模/Dines Bjorner[著]

版本说明:

影印版

出版发行项:

北京:清华大学出版社,2007

ISBN及定价:

978-7-302-15428-0/CNY79.00

载体形态项:

39,711页;23cm

并列正题名:

Software engineering.1.Abstraction and modelling

其它题名:

抽象与建模

个人责任者:

(丹) 比约纳 D. 著

个人责任者:

(丹) Bjorner Dines 著

学科主题:

软件工程-高等学校-教材-英文

中图法分类号:

TP311.5

一般附注:

大学计算机教育国外著名教材系列

版本附注:

Springer-Verlag授权出版

提要文摘附注:

本书介绍了抽象与建模的基本原理和技术。首先，给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。

电子资源:

http://www.bookuu.com/kgsm/ts/2007/08/14/1157811.shtml

豆瓣简介：