同类推荐
-
-
嵌入式Linux系统开发21天速成:从基础开发到综合项…
-
¥119.00
-
-
嵌入式Linux系统开发21天速成:从基础开发到综合项…
-
¥119.00
-
-
嵌入式Linux系统开发21天速成:从基础开发到综合项…
-
¥119.00
-
-
AutoCAD 2026中文版实用教程
-
¥89.00
-
-
AutoCAD 2026中文版实用教程
-
¥89.00
-
-
AutoCAD 2026中文版实用教程
-
¥89.00
-
-
C语言程序设计案例式教程:AI助学
-
¥69.80
-
-
C语言程序设计案例式教程:AI助学
-
¥69.80
-
-
C语言程序设计案例式教程:AI助学
-
¥69.80
-
-
Java Web项目式开发教程:微课版
-
¥69.80
|
|
图书信息
|
|
|
|
Event-B建模 系统和软件工程
|
| ISBN： | 9787115508997 |
定价： | ￥129.00 |
| 作者： | (法)简·埃蒙德·阿布瑞尔(Jean-Raymond Abrial)著 |
出版社： | 人民邮电出版社 |
| 出版时间： | 2019年09月 |
开本： | 26cm |
| 页数： | 11,462页 |
中图法： | TP311.5 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1
|
|
2026-08-06
|
图书简介 | | 本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法，作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。 |
|