Event-B建模：系统和软件工程

978-7-115-50899-7

作者: [法] 简 - 埃蒙德·阿布瑞尔（Jean-Raymond Abrial）

译者: 裘宗燕

编辑: 吴晋瑜

分类: 软件工程与方法

图书目录:

详情

本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法,作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。读者将学习如何构建程序模型和离散系统。本书包含大量实例，包括顺序程序,并发程序和电子电路等。本书还包含了大量的练习和项目等。