Pi Calculus Robin Milner part2
4星 · 超过85%的资源 需积分: 3 119 浏览量
2010-06-10
17:48:00
上传
评论
收藏 1.24MB RAR 举报 
资源评论
易邦2015-01-15形式化表述系统，写论文用用了。
mzjiang2004
- 粉丝: 1
- 资源: 4
最新资源
- 3122080306 邹子轩 实验报告二.docx
- 基于STM32 NUCLEO板设计彩色LED照明灯（纯cubeMX开发）(大赛作品，文档完整，可直接运行)
- 发那科工业机器人保养大全
- Sphere.h
- REMD固有时间尺度分解信号分量可视化（Matlab完整源码和数据）
- 嵌入式系统双单片机STC89C52+STC15W104多功能学习板电路图可扩展 适用于单片机初学者和教学
- 基于STM32蓝牙控制小车系统设计（硬件+源代码+论文）大赛作品
- XILINXFPGA源码基于Spartan3火龙刀系列FPGA开发板VGA测试例程
- Java聊天室的设计与实现【尚学堂·百战程序员】
- python中matplotlib教程
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
