event-b_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > event-b

Modeling in Event-B System and Software Engine 1

编程语言：其他大小：金币：上传人：pppxxx 发布日期：2023-11-15

Modeling in Event-B System and Software Engineering pdf书籍和全部ppt
event-b language经典教材 0

编程语言：其他大小：金币：上传人：haoyisheng 发布日期：2023-08-29

非常经典的学习event-b的教材，想学习千万不能没有它哦
Modeling in Event-B-System and software Engine 0

编程语言：其他大小：金币：上传人：shangyou88 发布日期：2023-08-14

Modeling in Event-B-System and software Engineering pdf电子版
Event-B.pdf 0

编程语言：其他大小：金币：上传人：pppxxx 发布日期：2023-06-26

这是一本关于Event-B的例子用书，里面有十几个例子，英文版的
event-B入门基础手册 0

编程语言：其他大小：金币：上传人：kbls57736 发布日期：2021-06-08

从文献中发现该方法能够用于代码的自动生成。Event-B的入门用书，里面讲解了详细的语法。可用于参考

5条

热门下载

Modeling in Event-B System and Software Engine
event-B入门基础手册
Event-B.pdf
Modeling in Event-B-System and software Engine
event-b language经典教材