同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
Web前端设计与开发
-
¥54.80
-
-
Camera Raw/Photoshop数码摄影后期从…
-
¥89.80
-
-
Camera Raw/Photoshop数码摄影后期从…
-
¥89.80
-
-
Camera Raw/Photoshop数码摄影后期从…
-
¥89.80
-
-
游戏用户体验设计(周曦)
-
¥69.80
|
|
图书信息
|
|
|
|
软件保证举证方法及其应用
|
| ISBN: | 9787115624727 |
定价: | ¥89.80 |
| 作者: | 曾福萍主编 |
出版社: | 人民邮电出版社 |
| 出版时间: | 2024年04月 |
开本: | 24cm |
| 页数: | 279页 |
装祯: | 平装 |
中图法: | TP311.522 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
42
|
库区13/库区4/样本13
|
2026-06-16
|
|
其它供货商库存合计
|
27
|
|
2026-06-15
|
图书简介 | | 本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章,首先概述了软件保证举证的相关知识,接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例,最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 |
|