![《Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo》[67M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/c50eae478a999d63.jpg "Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo")
Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供Event-B建模系统和软件工程简-埃蒙德·阿布瑞尔（Jean-Raymo电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
| 图书基本信息 | |||
| 图书名称 | Event-B建模 系统和软件工程(异步图书出品) | 作者 | [法]简-埃蒙德·阿布瑞尔（Jean-RaymondAbri |
| 定价 | 129元 | 出版社 | 人民邮电出版社 |
| ISBN | 9787115508997 | 出版日期 | 2019-09-01 |
| 字数 | 页码 | 462 | |
| 版次 | 装帧 | 平装 | |
| 开本 | 16开 | 商品重量 | |
| 内容提要 | |
| 这本实用的教科书适用于形式化方法的入门课程或高级课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德 阿布瑞尔（Jean-Raymond Abrial）是国际计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。 本书适合作为高等院校计算机、软件工程、网络工程、信息安全等专业高年级本科生、研究生的教材，也可供相关领域的研究人员和技术人员参考。 |
![《计算机技术基础》[86M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/d10b01e81bbdecea.jpg)
![《嵌入式软件自动化测试黄松洪宇郑长友朱卫星软件工程技术丛书软件测试需求分析测试设计与实现测试自动化教材书》[83M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/2c3d5ef6ebd21d0f.jpg)
![《Kafka入门与实践》[98M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/7847c46d01ca7cf1.jpg)
![《内外兼修：程序员的成长之路罗飞机械工业计算机与互联网书籍》[87M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/490e76216f95908b.jpg)