Event-B建模

Event-B建模

(法) 简·埃蒙德·阿布瑞尔, 著

出版社:人民邮电出版社

年代:2019

定价:99.0

书籍简介:

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

书籍规格:

书籍详细信息
书名Event-B建模站内查询相似图书
9787115508997
如需购买下载《Event-B建模》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位人民邮电出版社
版次1版印次1
定价(元)99.0语种简体中文
尺寸26 × 19装帧平装
页数 242 印数 2400

书籍信息归属:

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