源码之巅峰
全部资源
全部资源
C/C++
C#
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
其他
上传
VIP购买
登录
注册账号
C#
C/C++
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
AI
其他
当前位置：> TAG标签 >
event-b
Modeling in Event-B System and Software Engine
0
编程语言：
其他
大小：
金币：
上传人：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条
热门下载
event-B入门基础手册
Event-B.pdf
Modeling in Event-B-System and software Engine
event-b language经典教材
Modeling in Event-B System and Software Engine
川公网安备 51152502000135号