MARC状态：审校 文献类型：中文图书 浏览次数：13
- 题名/责任者:
- Event-B建模:系统和软件工程/(法)简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial)著 裘宗燕译
- 出版发行项:
- 北京:人民邮电出版社,2019
- ISBN及定价:
- 978-7-115-50899-7/CNY129.00
- 载体形态项:
- 11,462页:图;26cm
- 并列正题名:
- Modeling in Event-B:system and software engineering
- 其它题名:
- 系统和软件工程
- 个人责任者:
- (法) 阿布瑞尔 Abrial, Jean-Raymond 著
- 个人次要责任者:
- 裘宗燕 译
- 学科主题:
- 软件工程-系统建模
- 中图法分类号:
- TP311.5
- 版本附注:
- 由Cambridge University Press授权出版
- 出版发行附注:
- 本书限中国大陆发行
- 相关题名附注:
- 版权页英文题名:Modeling in Event-B: system and software engineering
- 提要文摘附注:
- 本书介绍如何根据实际需要去构造各种程序,以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例,这些示例源自计算机系统开发的各个领域,包括顺序程序、并发程序和电子线路等。本书还包含了大量具有不同难度的练习和开发项目。
全部MARC细节信息>>