只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
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. 英文版
文件下载
立即下载
评论信息
其他资源
l1-Magic工具箱
密码学与网络安全知识点整理.docx
同济大学自控考研真题2000-2019.pdf
RM xp 加密工程文件解密器
PageRefresh
C++数据结构_大作业课程设计(校园导游咨询)
som源码含数据文件
WEB应用程序,不预览,直接打印
基于matlab的语音信号分析与处理
中小企业园区网建设项目
《人际沟通与风格分析-讲师手册》.pdf
caffe-1.0-py35he774522_0.tar.bz2
linux下mysql安装文件32位
Java的web在线考试系统设计(含源码)
Sql_Poizon_2018
mybatis spring mvc volectiy项目视图访问控制spring mvc
开源的超级玛丽源代码
GoAhead Json开发
第24章__综合Struts Spring Hibernate开发图书管理系统.ppt
fandango_score_comparison.csv
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
JPEG的Matlab实现
stm32f103+OLED12864+FFT音乐频谱(多种显示效果 提供原理图)
基于STM32的电子时钟设计
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
基于Matlab的IEEE14节点潮流计算.zip
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
Spring相关的外文文献和翻译(毕设论文必备)
东南大学英语技术写作慕课所有答案
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
Vivado license 永久
拾荒者扫描器.zip
Alternative A2DP Driver 1.0.5.1 无限制版
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
最新下载
发那科机器人Profinet通讯指导手册和配置文件
深度学习+花卉数据集+花卉识别+花卉分类+训练代码
老鼠走迷宫之数据结构课程设计
昆腾微KT0656M无线麦克风接收资料
KT0646M_DemoCode_V1.6.0.3.rar
KT0656M接收DEMO代码
自研的平面机构可视化运动分析软件MCAD 适用于机械学生、教师、工程师
jbox2.3修改版,可用于jquery1.9以上
c++test9.6破解版part4(4-4)
C#实现Onvif对接摄像机视频流,PTZ云台控制,预置位,VLC播放网络视频源