只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
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. 英文版
文件下载
立即下载
评论信息
其他资源
全国河流水文站坐标.xls
mimics19使用教程
地震波剖面图的形成matlab
宇视科技C语言面试题
单片机实现的SD卡读写模块的完整工程,含原理图,代码,说明文档等
类内相关系数ICCMatlab程序
C#毕业设计和源码(有毕业论文包含4个非常经典的C#毕业设计课题)
java web项目实战:都市供求信息网
English for Writing Research Papers 2011 Adrian Wallwork写学术科研英文论文的经典指导书籍
笙科2.4g无线音频芯片A9101资料
GTK+3.0详细的说明文档
WEB网站常用测试用例集
关于python的系统学习笔记,深入浅出
MDS_Block_5_DSCI_524_import-源码
第二学期教育教学工作总结.doc
MATLAB工具箱大全-drEEM toolbox
详解 Apache Pulsar 2.6.0 功能特性
英语讲师思科认证网络基础 (2/11)NetEss_Instructor Materials_Chapter2.pptx
org.springframework.context-3.2.2.RELEASE.jar
play framework 框架手册 word 版
大漠类库生成工具v21.0.rar
vfp小型系统
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
opcua服务器模拟器+opcua客户端工具.rar
mingw-w64-install.exe
超大规模集成电路先进光刻理论与应用.pdf
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
2019西门子杯六部十层电梯群控参考程序.zip
刚萨雷斯《数字图像处理》第四版答案.pdf
画程(版本6.0.0.127)setup个人版
基于STM32的电子时钟设计
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
房价预测的BP神经网络实现_python代码
transformer_pytorch_inCV.rar
锁相环simulink建模仿真.rar
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
vivado 破解 lisence(有效期到2037年) 下载
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
最新下载
MATLAB:解卷积MUSIC波束形成代码
KViewer专业医学病理切片查看软件(K-Viewer),适用于医学生不知道怎么打开KFB格式文件
JAVA在线考试管理系统(源代码).zip
Themida 2.1.8.0 加壳加密软件
深入浅出mfc(侯捷 简体中文版 附源代码)
Microsoft Expression BlendV4--Design_Trial_zh-Hans.exe
SV labs code.rar
cleaniislog.exe
基于IEC61850标准的智能配电终端建模
elsave(日志清除)