书籍详情
![《Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo》[56M]百度网盘|亲测有效|pdf下载](/uploads/2024-01-20/c50eae478a999d63.jpg)
Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo
- 出版社:辽海出版社图书专营店
- 出版时间:2019-09
- 热度:12219
- 上架时间:2024-06-30 09:38:03
- 价格:0.0
书籍下载
书籍预览
免责声明
本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正
内容介绍
| 图书基本信息 | |||
| 图书名称 | Event-B建模 系统和软件工程(异步图书出品) | 作者 | [法]简-埃蒙德·阿布瑞尔（Jean-RaymondAbri |
| 定价 | 129元 | 出版社 | 人民邮电出版社 |
| ISBN | 9787115508997 | 出版日期 | 2019-09-01 |
| 字数 | 页码 | 462 | |
| 版次 | 装帧 | 平装 | |
| 开本 | 16开 | 商品重量 | |
| 内容提要 | |
| 这本实用的教科书适用于形式化方法的入门课程或高级课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德 阿布瑞尔（Jean-Raymond Abrial）是国际计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。 本书适合作为高等院校计算机、软件工程、网络工程、信息安全等专业高年级本科生、研究生的教材，也可供相关领域的研究人员和技术人员参考。 |