没有合适的资源?快使用搜索试试~ 我知道了~
PiET: Pi Calculus Equivalences Tester-开源
共3个文件
piet:1个
txt:1个
jar:1个
0 下载量 150 浏览量
2021-04-28
15:52:35
上传
评论
收藏 274KB ZIP 举报
温馨提示
PiET是用于Pi演算的十项行为等效的验证工具。
资源推荐
资源详情
资源评论
收起资源包目录
binaries_linux.zip (3个子文件)
PiETgui.jar 127KB
LICENSE.txt 26KB
piet 412KB
共 3 条
- 1
资源评论
梦小露
- 粉丝: 20
- 资源: 4640
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- STM32-Lib-LIS3DSH-Accelerometer-main
- 软件测试面试题.pdf
- WINSOFT ComPort 6.0 for Delphi XE10.1-XE10.3 Cracked
- 数据库基础知识参考试题.doc
- 数据库存储引擎技术的优劣势分析.docx
- 基于GPT的AI文档分析、阅读和问答工具.txt
- 《机器人控制系统的设计与Matlab仿真 》仿真程序
- AI-免费物品无损放大工具AI在线免费放大图片工具.txt
- C++基于DPLL算法的SAT的蜂窝数独游戏求解程序,程序设计综合课程设计,包括SAT求解器板块、蜂窝数独转化成cnf公式板块
- 微信小程序恐龙快跑小程序源码.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功