题名:
|
Event-B建模 [ 专著] Event-B jian mo / (法)简·埃蒙德·阿布瑞尔(Jean-Raymond Abrial)著 , 裘宗燕译 |
ISBN:
|
978-7-115-50899-7 价格: CNY129.00 |
语种:
|
chi |
载体形态:
|
11,462页 图 26cm |
出版发行:
|
出版地: 北京 出版社: 人民邮电出版社 出版日期: 2019.09 |
内容提要:
|
本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法,作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。 |
主题词:
|
软件工程 系统建模 |
中图分类法:
|
TP311.5 版次: 5 |
其它题名:
|
系统和软件工程 |
主要责任者:
|
阿布瑞尔 a bu rui er 著 |
次要责任者:
|
裘宗燕 qiu zong yan 译 |