书名：软件安全性需求形式化建模和验证
书号：978-7-5684-0112-8
作者：李震 著者
开本：1/32
书类：学术专著
定价：42元
详细介绍：
本书基于软件安全性领域内的权威标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。
