Event-B建模

书籍简介:

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

书籍规格:

书籍信息归属:

Event-B建模是人民邮电出版社于2019.4出版的中图分类号为 TP311.5 的主题关于 软件工程－系统建模 的书籍。