没有合适的资源?快使用搜索试试~ 我知道了~
家庭开放工具平台-开源
0 下载量 38 浏览量
2021-04-13
08:44:28
上传
评论
收藏 93.78MB GZ 举报
温馨提示
共603个文件
jar:244个
png:74个
html:51个
开放工具平台,可经济高效地严格开发可靠的复杂软件系统服务。 该平台基于event-B形式化方法,为提炼和数学证明提供了自然的支持。
资源推荐
资源详情
资源评论
收起资源包目录
家庭开放工具平台-开源 (603个子文件)
org.rodinp.platform.product.executable.gtk.linux.x86_64_3.5.0.202009111309-74e0e4188 25KB
ant 11KB
antRun 862B
.api_description 250B
ant.bat 7KB
antRun.bat 1KB
lcp.bat 1KB
splash.bmp 400KB
LinuxPasswordProvider.class 3KB
LinuxPasswordProviderMessages.class 872B
envset.cmd 4KB
antenv.cmd 3KB
ant.cmd 3KB
runrc.cmd 2KB
e4-dark_globalstyle.css 8KB
e4-dark_ide_colorextensions.css 8KB
e4-dark_win.css 5KB
e4-light_ide_colorextensions.css 5KB
e4-dark_tabstyle.css 4KB
narrow_book.css 4KB
book.css 4KB
e4-dark_partstyle.css 3KB
e4-dark_preferencestyle.css 3KB
e4-light_tabstyle.css 3KB
e4-dark_mac1013.css 3KB
e4_default_gtk.css 3KB
e4_default_win.css 2KB
e4_classic.css 2KB
e4_default_mac.css 2KB
e4-dark_mac.css 2KB
e4-light_globalstyle.css 2KB
e4-dark_linux.css 2KB
e4_basestyle.css 1KB
whatsnew.css 1KB
e4-light-drag-styling.css 970B
e4-dark-drag-styling.css 908B
e4-light_partstyle.css 860B
high-contrast.css 817B
e4_globalstyle.css 661B
disabled_book.css 356B
macosx_narrow_book.css 269B
migrate.css 188B
overview.css 177B
LegacyIDE.e4xmi 5KB
.eclipseproduct 61B
1599829826302.profile.gz 101KB
1599829825625.profile.gz 101KB
1599829822437.profile.gz 361B
1599829822399.profile.gz 357B
readme_eclipse.html 93KB
about.html 29KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-2.0.html 17KB
epl-v10.html 16KB
epl-v10.html 16KB
epl-v10.html 16KB
epl-v10.html 16KB
about.html 16KB
about.html 16KB
about.html 14KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 9KB
license.html 6KB
license.html 6KB
license.html 6KB
license.html 6KB
DOM-LICENSE.html 5KB
SAX-LICENSE.html 3KB
about.html 1KB
about.html 1KB
about.html 1KB
about.html 1KB
about.html 1KB
about.html 1KB
共 603 条
- 1
- 2
- 3
- 4
- 5
- 6
- 7
资源评论
weixin_38609128
- 粉丝: 7
- 资源: 906
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于Qt使用C++实现图书管理系统源码+数据库(95分以上).zip
- 基于GUI+MYSQL+JAVA票务管理系统文档介绍+源码+数据库(高分大作业).zip
- 优先编码器除法电微分运算电路 全加器函数发生电路等电路经典Multisim仿真实验源文件合集(25个).zip
- 2331308JS课堂案例.zip
- STM32H750VBT6单片机最小系统开发板AD设计硬件(原理图+PCB+3D封装库)工程文件.zip
- 基于74LS161+ 74LS192芯片实现倒计时定时器Multisim仿真源文件,Multisim10以上版本可打开运行
- 科大讯飞语音引擎 jar包 demo,科大讯飞语音合成引擎3.0,支持4.0系统以上,文字转语音输出.zip
- Java架构面试笔试专题资料及经验(含答案)SpringBoot面试Linux面试专题及答案 合集.zip
- 头歌c语言实验答案tion-model-for-ne开发笔记
- docker配置使用-model-for-networK开发demo
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功