|
000
|
01165nam0 2200265 450
|
|
001
|
02349555
|
|
005
|
20250716093132.96
|
|
010
|
|
@a978-7-115-62472-7@dCNY89.80
|
|
100
|
|
@a20250714d2024 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aafk a 000yy
|
|
200
|
1
|
@a软件保证举证方法及其应用@Aruan jian bao zheng ju zheng fang fa ji qi ying yong@d= Software assurance case methods and applications@f主编曾福萍@zeng
|
|
210
|
|
@a北京@c人民邮电出版社@d2024.04
|
|
215
|
|
@a279页, [4] 页图版@c图@d24cm
|
|
300
|
|
@a工信学术出版基金
|
|
320
|
|
@a有书目
|
|
330
|
|
@a本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章, 首先概述了软件保证举证的相关知识, 接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例, 最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。
|
|
510
|
1
|
@aSoftware assurance case methods and applications@zeng
|
|
606
|
0
|
@a软件开发@Aruan jian kai fa@x安全技术
|
|
690
|
|
@aTP311.522@v5
|
|
690
|
|
@aTP311.52@v4
|
|
701
|
0
|
@a曾福萍@Azeng fu ping@4主编
|
|
801
|
0
|
@aCN@bZZJT@c20250715
|
|
905
|
|
@aLYXY@dTP311.52@e145@f3
|
|
|
|
|
| |
| 软件保证举证方法及其应用= Software assurance case methods and applications/主编曾福萍.-北京：人民邮电出版社，2024.04 |
| 279页, [4] 页图版：图；24cm |
| 工信学术出版基金 |
| |
| ISBN 978-7-115-62472-7：CNY89.80 |
| 本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章, 首先概述了软件保证举证的相关知识, 接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例, 最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 |
| ● |
正题名：软件保证举证方法及其应用
索取号：TP311.52/145
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1452886
|
214528867
|
十四楼书库/
[索取号:TP311.52/145]
|
在馆
|
架位导航
|
|
2
|
1452887
|
214528876
|
十四楼书库/
[索取号:TP311.52/145]
|
在馆
|
架位导航
|
|
3
|
1452888
|
214528885
|
十四楼书库/
[索取号:TP311.52/145]
|
在馆
|
架位导航
|
