书目详细信息
： Event-B建模:系统和软件工程
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-115-50899-7:CNY129.00 |
|---|---|
| 作品语种： | chi fre |
| 出版国别： | CN 110000 |
| 题名责任者项： | Event-B建模/.(法)简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial)著/.裘宗燕译 |
| 出版发行项： | 北京:,人民邮电出版社:,2019 |
| 载体形态项： | 11,462页:;+图:;+26cm |
| 相关题名附注： | 版权页英文题名:Modeling in Event-B: system and software engineering |
| 提要文摘： | 本书介绍如何根据实际需要去构造各种程序,以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例,这些示例源自计算机系统开发的各个领域,包括顺序程序、并发程序和电子线路等。本书还包含了大量具有不同难度的练习和开发项目。 |
| 并列题名： | Modeling in Event-B eng |
| 题名主题： | 软件工程 系统建模 |
| 中图分类： | TP311.5 |
| 个人名称等同： | 阿布瑞尔 (法) 著 |
| 个人名称次要： | 裘宗燕 译 |
| 记录来源： | CN TSG 20200807 |