只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
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. 英文版
文件下载
立即下载
评论信息
其他资源
神经网络预测天气的气温数据集
QT加载百度地图,网页,和视频监控界面
jsp+myeclipse+mysql做的学生成绩管理系统 登录界面和增删查改
Python3经典案例100道练习题-学习Python提升必练
简单的三维重建系统
Power Electronics Converters, Applications, and Design, Third edition 2002
哈工大数电试题
hp webinspect 10最新版破解
共轭分子丝四硫富瓦烯器件的长度和负微分电阻行为的影响
体育馆无线覆盖技术方案.doc
【ssm项目源码】人事管理系统.zip
vnc远程控制软件 源代码.zip
农村电商运营平台建设方案.pptx
基于单片机的多点无线温湿度采集装置的实现
Avenir 字体 苹果公司使用的字体
SDN无线网状网仿真平台构建与负载均衡技术研究
C#串口波形图
分布式系统中文版ppt
电商(美妆)App前端全套完整设计Axure版本
java爬取携程酒店评价信息
模电经典资料(书)----模拟CMOS集成电路设计_陈贵灿_西交大.pdf
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
非线性本构关系在ABAQUS中的实现.pdf
ios无人直播 虚拟视频实用版 可以导入视频
转速、电流双闭环直流调速Simulink源文件.zip
多智能体的编队控制程序的补充(之前上传少了一个文件)
token登录器.rar
Autojs 例子 源码 1600多个教程源码
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
离散时间信号处理第三版课后习题答案
基于Matlab的PI/4 DQPSK的调制解调源代吗
EasyMedia-ui.zip
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
知网情感词典(HOWNET)
长江流域shp.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
最新下载
Template.rar
IMX461AQR-C_DataSheet(0.4.0)_171121
VS卸载工具
【多式联运】基于matlab改进的模拟退火优化遗传算法求解多式联运运输问题(含碳政策)【含Matlab源码 1995期】.mp4
网狐DevTools数据生成器
Qt 汉字转拼音与首字母
猫的12分类代码——基于pytorch的分类网络
解决windows10下无法安装.net framework 3.5(包括.net2.0和3.0)
bootstrap网上购物商城.zip
GPS标准单点定位代码.zip