只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
程序设计形式语义学-张琨
程序设计形式语义学-张琨
上传者:
gaoyang9870
|
上传时间: 2021-11-30 09:14:14
|
文件大小: 8.92MB
|
文件类型: -
计算机
程序设计
形式语义学
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究: 帮助理解语言; 支持语言标准化; 指导语言设计; 帮助编写编译器和语言系统; 支持程序验证和软件可靠性; 有助于软件规范化。
文件下载
立即下载
评论信息
u011041412 :
只有两章中文的ppt,不使所有的,感觉被坑了,全都可以在网上找到的,还有5个积分
2015-12-02
zhanghuan007 :
不怎好,没有吉林大学那个ppt好。。。
2012-11-27
ycitshan :
不全面的啊 只有少部分的
2011-11-06
其他资源
基于双隐含层BP神经网络的预测
基于SSH的网上招聘求职系统的源代码+sql文件
Thinkpad SL400刷BIOS slic2.1包
javaee简单登录和增删查改
防侧翻控制系统模型 SUV仿真
BP神经网络计算过程详解
基于matlab的PLL锁相环
完整的CV模型代码cvdemo
Chisel教程.pdf
PB9.0 日期控件集合
Java播放本地声音,实现系统报警
riprodl.rar
具有带陷波特性的CPW馈电新型平面超宽带天线
ToDoList:待办事项清单-源码
时间转换16进制.rar
基于GPU的3D空间精确三角形拾取
ueditor富文本编辑器jsp版
扩展存储器读写实验62256
模拟ATM存取款机
语音降噪实时处理算法研究
[算法导论].[Introduction.to.Algorithms].Thomas.H
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
2020年数学建模B题(国二)论文.pdf
云视通端口扫描器.rar
DS证据理论的MATLAB案例程序源代码
基于蒙特卡洛生成电动汽车充电负荷曲线程序
C4.5决策树算法的Python代码和数据样本
基于Matlab的IEEE14节点潮流计算.zip
基于LSTM模型的股票预测模型_python
Keil5安装包
多智能体的编队控制程序的补充(之前上传少了一个文件)
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
基于yolov4-keras的抽烟检测(源码+数据集)
matpower5.0b1.zip
校园网规划与设计(报告和pkt文件)
mingw-w64-install.exe
狂神说Java系列笔记.rar
最新下载
数字系统与逻辑设计——4位、8位电子密码锁Proteus仿真文件
双闭环可逆直流脉宽PWM调速系统设计及MATLAB仿真验证...pdf
mediapipe-0.9.0.1-cp37-cp37m-win-amd64.whl.zip
安卓实验包含报告(全)
数字图像处理实验二 图像傅里叶变换 实验报告 附代码 结果 数据
数字电路密码锁的设计
最新抖音爆火的手机尾号测试打分无人直播项目 日赚几百+【打分脚本+教程】
Linux内核完全剖析.pdf
西门子博图实例.0_V15.1.rar
Nartool的c# 源码