注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络软件工程及软件方法学软件安全性需求形式化建模和验证

软件安全性需求形式化建模和验证

软件安全性需求形式化建模和验证

定 价:¥42.00

作 者: 李震 著
出版社: 江苏大学出版社
丛编项:
标 签: 暂缺

购买这本书可以去


ISBN: 9787568401128 出版时间: 2019-11-01 包装: 平装
开本: 32开 页数: 187 字数:  

内容简介

  《软件安全性需求形式化建模和验证》基于软件安全性领域内的非常不错标准和手册,将形式化理论和方法应用于软件安全性需求建模和验证工作中,以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力,详细介绍了软件安全性需求的工作过程,以及形式化方法对软件安全性需求过程的支持方法。

作者简介

暂缺《软件安全性需求形式化建模和验证》作者简介

图书目录

暂缺《软件安全性需求形式化建模和验证》目录

本目录推荐