只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
形式化方法CSP
形式化方法CSP
上传者:
jiangdmdr
|
上传时间: 2021-11-23 10:58:30
|
文件大小: 1.22MB
|
文件类型: -
形式化方法CSP
Communicating sequential processes: 形式化方法CSP, 进程代数CSP
文件下载
立即下载
评论信息
sfplds :
很好的书,开发软件正需要它
2013-12-05
ipvideo :
英文版的。csdn上就有中文版的下载。不过英文版的更清晰一些
2012-08-29
shajinlengyan :
就是翻译的文档,有点多,其实是一本蛮好的书,但是- -网上随便可以下到啊
2012-07-23
其他资源
变频调速SVPWM技术的原理、算法与应用(带自制书签,完整方便)
LFM回波模拟matlab
小米手机强解BL锁.zip
基于simulink的SVC与SVG的仿真
新闻发布系统源代码new.rar
基于Java的医疗管理系统
通俗数学名著译丛 1-5.zip
Aegisub字幕制作软件
OpenCV计算机视觉(第三版)所用图片资源
JSP期末项目(宿舍管理系统)
Java版数据结构与算法视频教程(20集版),【附源码资料-赠送java学习资料汇总】.txt
Everything1.4.1.956.b.zip
requirements.txt
组态王200个使用问题解答经典回顾.pdf
关于SQL的一些chm
Cometd可运行实例
隐私信息检索Private Information Retrieval
JAVA基于集合(List)的简单图书管理系统
elasticsearch-analysis-ik-6.2.4.zip
ANSYS中文教程
计算机病毒实验 信息隐藏
JSP;SQL SERVER数据库;个人通讯录管理系统
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
基于MATLAB的水果图像识别
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
云视通扫描工具.zip
Alternative A2DP Driver 1.0.5.1 无限制版
简易示波器-精英板.zip
基于OpenCV的车牌号码识别的Python代码(可直接运行)
科研伦理与学术规范 期末考试2 (40题).pdf
基于hadoop商品推荐系统课程设计
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
校园网规划与设计和pkt文件
中国地面气候资料日值数据集(V3.0)2014-2019.zip
token登录器.rar
最新下载
opencv特征库级联训练小工具(附代码)
(全彩图)常用电子元件实物图片大全
错题本:微信小程序源码,对错题实现拍照,图片裁剪,图片涂鸦,分类归纳,打印导出,适用于小学、初中、高中各科纸制错题管理
SN_Writer_Tool_exe1632可直接运行.rar
电子科技大学概率论与数理统计课程课件
矩阵分析Roger.A.Horn中文清楚
openCV+qt视频传输
PreScan手册.pdf
原理图,PCB常用元件库
Delphi高性能大容量SOCKET并发完成端口例子完整实例源码(根据SQLDebug_Fan的源码移植)