只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
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. 英文版
文件下载
立即下载
评论信息
其他资源
bootstrap可编辑表格完整代码
C#语音和视频聊天全源代码.rar
Webp格式图片批量转JPG转换器(还支持多种格式)
NetSuite Administrator Guide_2018
android远程连接MYSQL数据库
MicrosoftEasyFix50450.zip
Matlab路面裂缝识别
最新c#整合ckeditor+ckfinder示例
最小二乘匹配算法、matlab版
基于MATLAB神经网络的股票行情预测
附和水准平差计算
HSSFWorkbook,XSSFWorkbook所需全部jar
通信电子线路高如云习题答案 (1)
md5 信息摘要算法源码
浙江科技学院《土木工程材料》16套复习测试题(含答案).pdf
GC2010操作说明.doc
无视红域名直接打开红域名qq微信支付宝链接开源
YDT 1610-2007 IPv6路由协议测试方法--支持IPv6的中间系统到中间系统路由交换协议(IS-IS).pdf
软件验收报告-旅游ERP项目.doc
爬取b站前百视频名称和链接
C#商品销售管理系统源代码
jrtplib 3.9
Android 手机遥控器
重写Buttion按钮
CAN,SPI,I2C,USB2.0,422,485
Data Structures and Algorithms v2.0 (iOS12 & Swift4.2 & Xcode10)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
Android大作业——网上购物APP(一定是你想要的)
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
风电场风速及功率数据.zip
芯片验证漫游指南以及源代码.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
基于MQ2烟雾传感器的STM32F103程序
离散时间信号处理第三版课后习题答案
拾荒者扫描器.zip
银行笔试 信息科技岗部分真题
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
2019年秋招—华为硬件工程师笔试题目.pdf
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
多目标优化算法(四)NSGA3的代码(MATLAB)
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
中国地面气象站观测数据2000-2021
最新下载
JiYuTrainer.rar
安卓14使用Android/data(无需shizuku,无需授权)
毕业设计基于SpringBoot+Vue 的校园在线拍卖系统【源码+演示视频+包运行成功】
计算机操作系统(第四版),高清扫描版,汤小丹,梁红兵,哲凤屏,汤子瀛编著
基于单片机的毕业设计合集.doc
抽象代数 [王颖,南基洙 编著] 2013年版
Word2007SP1简体中文绿色便携版[139MB]
MT4指标EA反编译工具
yolo格式的密集行人检测数据集WiderPerson
412747752909824前三后四归属地查全号软件V3.0-增强版Demo.zip