只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
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. 英文版
文件下载
立即下载
评论信息
其他资源
计算机网络天津理工大学
LBP2900维修手册.pdf
delphi检测USB设备信息序列号串口号等(源码)
ubuntu离线安装vim
HT32F52352串口通信
FDTD相关书籍,都是中文的
S7-200 PID算法梯形图程序
四步移相法
quartus 对数lpcore
Net.asp BLL+DAL+Web实现三层架构,自带增删改查
机器人控制 ppt
编程语言原理中文版第10版
图解数据结构使用C++范例程序.rar
asp.net(C#)微信获得用户信息的Basepage
thinkPHP框架员工管理系统
银行账户管理系统 简称BAM(项目介绍及源码)绝对精典
deeplearning中文版
zabbix_agent 3.4.15 for Solaris 11.3 SPARC.rar
Statistics, Data Analysis, and Decision Modeling Edition(5th) 无水印原版pdf
html5-bluetooth-demo
vb.net sql 进销库存管理系统
武汉理工大学数据结构与算法实验,景区管理导航系统
javaScript帮助文档,几百种javaScript特效,jquary(中文)
单片机89c52rc最小系统电路图资料
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
全国河流水文站坐标.xls
多机器人编队及避障仿真算法.zip
EasyMedia-ui.zip
IEEE 39节点系统的Simulink模型
银行笔试 信息科技岗部分真题
基于Matlab的IEEE14节点潮流计算.zip
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
中小型企业网络建设.pkt
Autojs 例子 源码 1600多个教程源码
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
夏天IC助手1.8你们懂的
基于matlab扩频通信系统仿真(整套代码)
mingw-w64-install.exe
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
最新下载
华为s5700ei交换机v200r007固件
睿智合创数据分析笔试[源码]
摩托罗拉对讲机MagOne VZ-D263 写频软件- V2.01-含驱动英文写频软件
watchfaceEditor:Amazfit Bip和Cor表盘查看器和编辑器
ios 各版本shsh
K3 WISE BOS插件开发培训(2018版)
udt-multipath:支持UDT上的多路径(udp传输)-源码
软件测试学习资料
G200eR_Win10_Server2012.zip
银联2024年发布的银行bin码分布,合计4270条