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

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

李震, 著

出版社:江苏大学出版社

年代:2019

定价:42.0

书籍简介:

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

书籍规格:

书籍详细信息
书名软件安全性需求形式化建模和验证站内查询相似图书
9787568401128
如需购买下载《软件安全性需求形式化建模和验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地镇江出版单位江苏大学出版社
版次1版印次1
定价(元)42.0语种简体中文
尺寸22 × 15装帧平装
页数印数

书籍信息归属:

软件安全性需求形式化建模和验证是江苏大学出版社于2019.11出版的中图分类号为 TP311.5 的主题关于 软件可靠性 的书籍。