只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
Using Z: Specification, Refinement and Proof
Using Z: Specification, Refinement and Proof
上传者:
driftmrd
|
上传时间: 2021-12-02 10:04:30
|
文件大小: 2.38MB
|
文件类型: -
Formal
Metho
J.
Woodcock
"Using Z: Specification, Refinement and Proof" - J. Woodcock and J. Davies Prentice Hall, 1994. 英文版
文件下载
立即下载
评论信息
其他资源
博立基站BL-62 USB驱动
莫防破解模块2.0,支持全系统隐藏进程,保护进程,隐藏模块,支持win7 64位隐藏进程,,支持win8 64位隐藏进程,支持win10 64位隐藏进程,
Noisex-92噪音数据集
天津工业大学毕业设计开题答辩ppt
KCF跟踪算法(C++)
四川大学计算机研究生复试资料(整理版).zip
lm2596应用电路图大全
px4-L1自适应控制算法.pdf
web作业 简单的个人简历
Nonlinear Dynamics and Chaos - Strogatz
盲多用户检测LMS和RLS算法matlab实现
DSP技术及应用
基于自适应模糊滑模的PMSM无速度传感控制研究
无卡CDMA授时模块PCB参考图
若丹明R560的光谱和激光性能研究
黑客眼中的工业4.0.pdf
2015-2018中国个人邮箱行业研究报告.pdf
ANSI/VITA 62.0 Modular Power Supply Standard
网上书店java项目
C语言通讯录管理系统彩色界面
交通灯.ewb
QQ空间高仿源码
xbee中文教程
java实现html转txt
commons-digester-2.0.jar
Hadoop权威指南.pdf
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
IEEE33节点配电网Simulink模型.rar
锁相环simulink建模仿真.rar
JPEG的Matlab实现
多智能体的编队控制matlab程序(自己编写的,可以运行)
mingw-w64-install.exe
java-spring-web-外文文献翻译40篇.zip
EasyMedia-ui.zip
voc车辆检测数据集(已处理好,可直接训练)
空间谱估计理论与算法------程序.rar
PSO-LSSVM的MATLAB代码.rar
多目标优化算法(四)NSGA3的代码(python3.6)
python大作业--爬虫(完美应付大作业).zip
scratch版 我的世界.sb2
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
最新下载
AD封装库(超实用)
MIPI_CSI-2_v3.0中文版.pdf
win7 win10语音识别修复
铁二院线路安装软件
MxPro QPCR Software v4.1安捷伦MxPro QPCR分析软件
MessenPass v1.16
西储大学滚动轴承故障数据集.rar
基于51单片机的数字测速系统的设计方案
海康威视出入口停车场收费控制终端PMS-v5.1.0安装程序包文件
TimeGen V3.2 画时序图工具软件