《Event-B建模:系统和软件工程》978-7-115-50899-7.pdf-阿布瑞尔 (法) 著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: Event-B建模:系统和软件工程; 作者：阿布瑞尔 (法) 著; 出版社：人民邮电出版社; ISBN：978-7-115-50899-7; 出版年：2019

Event-B建模:系统和软件工程简介

本书介绍如何根据实际需要去构造各种程序,以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例,这些示例源自计算机系统开发的各个领域,包括顺序程序、并发程序和电子线路等。本书还包含了大量具有不同难度的练习和开发项目。并列题名：Modeling in Event-B eng

Event-B建模:系统和软件工程电子版图书下载地址：