同类推荐
-
-
Web漏洞分析与防范实战：卷2
-
¥129.00
-
-
Web漏洞分析与防范实战：卷2
-
¥129.00
-
-
Web漏洞分析与防范实战：卷2
-
¥129.00
-
-
Go语言学习指南：惯例模式与编程实践(原书第2版)
-
¥149.00
-
-
Go语言学习指南：惯例模式与编程实践(原书第2版)
-
¥149.00
-
-
Go语言学习指南：惯例模式与编程实践(原书第2版)
-
¥149.00
-
-
剪映专业版视频剪辑入门教程
-
¥69.80
-
-
计算机视觉实践教程：基于PyTorch
-
¥89.80
-
-
计算机视觉实践教程：基于PyTorch
-
¥89.80
-
-
计算机视觉实践教程：基于PyTorch
-
¥89.80
|
|
图书信息
|
|
|
|
软件保证举证方法及其应用
|
| ISBN： | 9787115624727 |
定价： | ￥89.80 |
| 作者： | 曾福萍主编 |
出版社： | 人民邮电出版社 |
| 出版时间： | 2024年04月 |
开本： | 24cm |
| 页数： | 279页 |
装祯： | 平装 |
中图法： | TP311.522 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
21
|
库区13/样本13
|
2025-10-21
|
|
其它供货商库存合计
|
51
|
|
2025-10-21
|
图书简介 | | 本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 |
|