返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 复杂软件系统可信性分析与验证方法 符宁 著 专业科技 文轩网
  • 新华书店正版
    • 作者: 符宁著
    • 出版社: 西北工业大学出版社
    • 出版时间:2022-08-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 符宁著
    • 出版社:西北工业大学出版社
    • 出版时间:2022-08-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2022-08-01
    • 字数:202000
    • 页数:136
    • 开本:16开
    • 装帧:平装
    • ISBN:9787561282977
    • 国别/地区:中国
    • 版权提供:西北工业大学出版社

    复杂软件系统可信性分析与验证方法

    作  者:符宁 著
    定  价:48
    出 版 社:西北工业大学出版社
    出版日期:2022年08月01日
    页  数:136
    装  帧:平装
    ISBN:9787561282977
    主编推荐

    内容简介

    本书以开放网络环境中复杂软件的可信性需求为背最,系统地研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题,论述了复杂软件系统的可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信性保障方法等问题。本书以国家关键应用领城中复杂软件系统的可信性为主攻目标,分析、研究和解决相关科学问题,旨在为提高国家重大工程中的软件可信性提供科学支撑,本书面向软件工程、软件可信性方向的研究人员,软件工程方向的高年级研究生,以及工业界对软件产品高可靠性有要求的技术人员。

    作者简介

    符宁多年来从事计算机科学软件及理论的研究,积累了良好的计算机专业理论功底和实践经验。主持航天科学技术基金1 项,陕西省重点研发计划1 项、中央高校基本科研业务费项目1 项。

    精彩内容

    目录
    第1章复杂软件系统
    1.1.复杂软件系统的发展
    1.2复杂软件系统的概念和特点
    1.3可信计算与软件可信性
    1.4复杂软件系统中的可信性问题
    1.5软件可信性研究历史与现状
    第2章复杂软件系统可信性质评价方法
    2.1受约束半环及其性质
    2.2原子构件可信性度量
    2.3组合构件的可信特征度量
    2.4可信度的投影与综合评价
    2.5实例分析
    2.6本章小结
    第3章复杂软件系统业务过程的建模与验证
    3.1Pi演算的概念及其基本理论
    3.2基于Pi演算的复杂软件系统业务过程模型
    3.3业务过程验证
    3.4本章小结
    ……

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购