《Event-B建模》

书名：《Event-B建模》

ISBN：9787115508997

出版地：北京

出版时间：2019.4

出版价格：99元

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