CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 会员管理中心 查看会员资料

查看会员资料

用 户 名:Hw***

发送消息
  • Email:
    用户隐藏
  • Icq/MSN:
  • 电话号码:
  • Homepage:
  • 会员简介:

最新会员发布资源

  1. SE1-Abstraction-and-Modelling

    0下载量:
  2. 第1卷,涵盖了基本的原则和技术,形式化方法和抽象造型。首先,这本书提供了一个良好的,但简单的基础上洞察离散数学:号码,电视机, cartesians ,类型,功能,的lambda演算,代数,数理逻辑。那么列车,其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念,是共同的,如语言规范包括b , vdm的-晚上八时,和z是解释,在这里用提高规范语言(出rsl ) 。这本书则涵盖的基本原则的应用(功能) ,势在必行,并发(并行)的规格规划。最后,卷载有一个全面的词汇,软件工程等,以及大量的索引
  3. 所属分类:software engineering

    • 发布日期:2017-11-25
    • 文件大小:52656128
搜珍网 www.dssz.com