只为小站
首页
域名查询
文件下载
登录
Using Z: Specification, Refinement and Proof
"Using Z: Specification, Refinement and Proof" - J.
Woodcock
and J. Davies Prentice Hall, 1994. 英文版
2021-12-02 10:04:30
2.38MB
Formal
Metho
J.
Woodcock
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
transformer_pytorch_inCV.rar
VideoDownloadHelper去除120分钟时间限制-高级版.zip
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
Steam离线安装版
EEMD算法应用于信号去噪.rar
数字图像处理[冈萨雷斯]
voc车辆检测数据集(已处理好,可直接训练)
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
vivado 破解 lisence(有效期到2037年) 下载
YOLOv5 人脸口罩图片数据集
拾荒者.exe同时ID扫描器IP扫描器
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
pytorch实现RNN实验.rar
基于Matlab的PI/4 DQPSK的调制解调源代吗
狂神说全部笔记内容.zip
最新下载
入侵检测技术论文
基于FPGA的自动售货机的设计与仿真
电子海图免费版
乌拉比 微波遥感 1-3卷
STM32变频器资料(变压器没有匝数比)
用CMOS传输门和CMOS非门设计边沿D触发器.doc
sql进阶教程,学习必备
电路设计工程计算基础 (武晔卿)
基于模糊PID控制的伺服电机系统仿真
基于P-模糊自适应PID控制的无刷直流电动机调速系统
其他资源
DeviceNet协议规范完整中文版
【课件/PDF】Software Engineering, 8th edition, Ian Sommerville 2006(v2)
涡格法计算气动力MATLAB
7.1版本VBA插件(WPS2019可用)
PyQt5界面、美化、首页界面demo
matlab仿真qpsk在高斯信道和瑞利衰落信道下的误码率
基于MATLAB的电力系统故障分析与仿真
LabVIEW 2012 Simon 小游戏 编程 源代码
matlab读取二维DXF文件
一个动物识别系统(java版)
C#简单画图程序
ASP.NET MVC4实战
UnicomAutoSignMachine:自用不要fock-源码
3d打印耗材最适温区240-180温度调节塔——.rar
餐饮行业:享受于“食” 带来的喜悦.pdf
材料力学2002年硕士研究生入学考试试题.pdf
CameraCaptureDemo.zip
mysql作业记录档案
C++实现网络嗅探器 规划文档
opengl 头文件 GLut.h,GLU32.h,glut32.h,OPENGL32.h
c++语言程序设计教程习题解答与实验指导
pinyin4j-2.5.0.jar
STM32L151串口、IO输入、输出例程
JSP开发校园学生宿舍信息后台管理系统源代码
unity官方Stealth 游戏开发素材和游戏源码
IOComp Components Full Product 4.0.4 SP2