正在加载图片,请稍后......

安全关键计算机系统/员春欣, 江建慧

  • 附件:
  • 设置1:
  • 设置2:江建慧
  • 设置3:
  • 设置4:本书介绍了安全关键系统概论、安全技术的国际标准、安全关键系统的安全原则、危险和风险分析方法、形式方法及其在安全关键系统中的应用。
  • 附注提要
    本书介绍了安全关键系统概论、安全技术的国际标准、安全关键系统的安全原则、危险和风险分析方法、形式方法及其在安全关键系统中的应用。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 码号定位 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明 登录号
    1 TP309/139 SPC0122465 sylg 卓越馆 入藏 中文图书 预借 0
    2 TP309/139 SPC0122464 sylg 卓越馆 入藏 中文图书 预借 0
    3 TP309/139 SPC0122463 sylg 卓越馆 入藏 中文图书 预借 0
    4 TP309/139 S0372062 SYXY 卓越馆 入藏 中文图书 预借 0
    5 TP309/139 S0372061 SYXY 卓越馆 入藏 中文图书 预借 0
    6 TP309/139 S0372060 SYXY 卓越馆 入藏 中文图书 预借 0
    7 TP309/139 S0322539 SYXY 书山馆自然科学阅览室 入藏 中文图书 预借 0
    8 TP309/139 S0322538 SYXY 书山馆自然科学阅览室 入藏 中文图书 预借 0
    9 TP309/139 S0322537 SYXY 书山馆自然科学阅览室 入藏 中文图书 预借 0