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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 全新正版可信软件基础研究9787308188715浙江大学出版社
    • 作者: 可信软件基础研究项目组编著 | 可信软件基础研究项目组编编 | 可信软件基础研究项目组编译 | 可信软件基础研究项目组编绘
    • 出版社: 浙江大学出版社有限责任公司
    • 出版时间:2018-12
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 可信软件基础研究项目组编著| 可信软件基础研究项目组编编| 可信软件基础研究项目组编译| 可信软件基础研究项目组编绘
    • 出版社:浙江大学出版社有限责任公司
    • 出版时间:2018-12
    • 版次:1
    • 印次:1
    • 印刷时间:2018-12-01
    • 字数:97千字
    • 页数:94
    • 开本:小16开
    • ISBN:9787308188715
    • 版权提供:浙江大学出版社有限责任公司
    • 作者:可信软件基础研究项目组编
    • 著:可信软件基础研究项目组编
    • 装帧:精装
    • 印次:1
    • 定价:68.00
    • ISBN:9787308188715
    • 出版社:浙江大学出版社
    • 开本:小16开
    • 印刷时间:2018-12-01
    • 语种:中文
    • 出版时间:2018-12
    • 页数:94
    • 外部编号:9488471
    • 版次:1
    • 成品尺寸:暂无

    章 项目概况
    1.1 项目介绍
    1.2 项目布局
    1.3 取得的重大进展
    第2章 国内外研究情况
    2.1 国内外研究现状
    2.2 发展趋势
    . 领域发展态势
    第3章 重大研究成果
    3.1 可信网络交易软件系统试验环境与示范应用
    3.2 多维在线跨语言Calling Network建模及其在可信税务软件中的实应用
    3.3 面向车联网的可信网络应用软件系统试验环境与示范应用
    3.4 航天嵌入式软件可信保障集成环境和示范验与应用
    3.5 可信软件理论、方法集成与综合实验平台
    第4章 展望
    4.1 国内存在的不足和战略需求
    4.2 深入研究的设想和建议
    参考文献
    成果附录
    附录1 重要目录
    附录2 获得科学技术奖励项目
    附录3 代表发明
    附录4 人才队伍培养与建设情况
    索引

    本书系自然科学重大研究计划“可信软件基础研究”的出版成果。本书以关键应用领域中软件可信问题为主攻目标,针对“软件可信度量与建模”、“可信软件的构造与验”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信进行了深入研究,取得了重要成果和进展。


    本书系自然科学重大研究计划“可信软件基础研究”的出版成果。本书以关键应用领域中软件可信问题为主攻目标,针对“软件可信度量与建模”、“可信软件的构造与验”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信进行了深入研究,取得了重要成果和进展。

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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