只为小站
首页
域名查询
文件下载
登录
软件形式化方法
Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。
2021-12-14 10:25:54
3.59MB
Z语言
形式化方法
1
软件形式化方法
期末考试复习要点
软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。
2019-12-21 19:28:36
390KB
Z语言
软件形式化方法
期末考试
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
MATLAB之LSTM预测
房价预测的BP神经网络实现_python代码
IEEE 39节点系统的Simulink模型
python大作业--爬虫(完美应付大作业).zip
基于LSTM模型的股票预测模型_python
2019和2021年华为单板通用硬件笔试题及答案
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
全国河流水文站坐标.xls
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
全国道路网SHP数据.zip
C4.5决策树算法的Python代码和数据样本
基于Matlab的PI/4 DQPSK的调制解调源代吗
IBM CPLEX 12.10 学术版 mac操作系统安装包
2019西门子杯六部十层电梯群控参考程序.zip
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
最新下载
单辉祖 材料力学课后答案
kodexplorer无限制 亲测可用
Unity3d C# UGUI制作内置键盘带输入功能工程源码
00008889-RTL9000AA_AN-VB_Datasheet_DRAFT_V1.4_136293.pdf
英伟达T400显卡驱动安装包
光网络中单模光纤色散分析matlab程序
山东大学软件项目管理2021-6_LWT_请勿擅自外传.zip
matlab程序补偿色散
基于51单片机的智能家居防火防盗系统
vue+nodejs+mysql 实现旅行网站
其他资源
Java三种生成条形码的源码(barcode4j、jbarcode、google-zxing)
基于FPGA的MP3音乐播放器设计
完整版 完整运行版纯电动汽车前向仿真模型.zip
TINY+编译器 改编自原版TINY
逻辑思维训练500题(附答案)
企业人力资源管理系统
光电子技术(安毓英)习题答案.pdf
嵌入式入门笔记+完整介绍嵌入式Linux项目的开发流程,给出了很多高端实例。网卡、pcimia驱动等应用项目实例
视频文件文件头解析--mp4
《VB6.0+应用编程150例》实例源代码
Verilog的PS2鼠标VGA画笔
【毕业设计】包含全套(封面+开题报告+代码+答辩PPT+论文)
Leetcode-March-Challenge-2021:它包含了Leetcode March 21 Challenge的问题解决方案-源码
windowsdesktop-runtime-5.0.3-win-x64.zip
Fuzzy-bassoon:使用wg-quick和bird2的dn42自动对等系统-源码
More.Effective.C.rar
鱼c小甲鱼零基础学python全套课后题.doc
2020求职者调研报告.pdf
vc+SQL实现医院收费管理系统实例
依米康智能空调通讯协议
基于PLC控制的变频调速恒压供水系统的毕业设计
VRML的虚拟校园漫游系统全程开发文档及代码.
netapp存储模拟器部署安装
IBMDataMovementTool
一元云购CMS
C/C++编译仿真器