- 书名：Event-B建模 系统和软件工程
- 出版社：Cambridge University Press
- 作者：Jean-Raymond Abria
- 出版年份：2021
- 电子书格式： pdf
- 简介：深入学习Event-B建模方法，并应用于系统和软件工程领域。本书由Jean-Raymond Abria撰写，涵盖了Event-B建模的理论基础、实践技巧以及在实际工程项目中的应用。通过学习本书，读者将掌握Event-B建模的精髓，提升软件工程设计能力，并应用于实际项目中。
- ISBN：9787115508997, 71155
- 下载地址（点击下载）：
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)