查看会员资料
用 户 名:Hw***
发送消息- Email:用户隐藏
- Icq/MSN:
- 电话号码:
- Homepage:
- 会员简介:
最新会员发布资源
SE1-Abstraction-and-Modelling
- 第1卷,涵盖了基本的原则和技术,形式化方法和抽象造型。首先,这本书提供了一个良好的,但简单的基础上洞察离散数学:号码,电视机, cartesians ,类型,功能,的lambda演算,代数,数理逻辑。那么列车,其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念,是共同的,如语言规范包括b , vdm的-晚上八时,和z是解释,在这里用提高规范语言(出rsl ) 。这本书则涵盖的基本原则的应用(功能) ,势在必行,并发(并行)的规格规划。最后,卷载有一个全面的词汇,软件工程等,以及大量的索引