只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
程序设计形式语义学-张琨
程序设计形式语义学-张琨
上传者:
gaoyang9870
|
上传时间: 2021-11-30 09:14:14
|
文件大小: 8.92MB
|
文件类型: -
计算机
程序设计
形式语义学
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究: 帮助理解语言; 支持语言标准化; 指导语言设计; 帮助编写编译器和语言系统; 支持程序验证和软件可靠性; 有助于软件规范化。
文件下载
立即下载
评论信息
u011041412 :
只有两章中文的ppt,不使所有的,感觉被坑了,全都可以在网上找到的,还有5个积分
2015-12-02
zhanghuan007 :
不怎好,没有吉林大学那个ppt好。。。
2012-11-27
ycitshan :
不全面的啊 只有少部分的
2011-11-06
其他资源
模糊c均值聚类 FCM算法的MATLAB代码
GMW17753.pdf
c AES, c++ AES, java AES, 互通, 加密解密
dlib_face_recognition_resnet_model_v1.dat
Nuvoton.NuMicro_DFP.1.0.9.pack
表白墙小程序
Fisher线性分类器Python及matalb实现
esprit算法
VC 远程线程注入 不使用DLL 源码
流形学习MVU 算法
OnlineBookStore.rar
STM32,超声波测距模块HC_SR04,1602显示
组合数学习题解答 卢开澄 卢华明编著(第三、第四版)
2019-2023信息化规划.pptx
Pg13_0_emptyAlias.patch
基于物联网技术的宿舍安全防控系统设计与实现
图像融合+源代码+matlab
JavaScript权威指南(第六版)mobi格式
Android通过Webservice操作sqlserver数据库 android studio3.0.1 VS2013 DB2015
OpenCV By Example.pdf
计算机相关专业毕业设计外文翻译
50%识别率的验证码识别程序【源代码】【C#代码】
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
多智能体的编队控制程序的补充(之前上传少了一个文件)
Elsevier爱思唯尔的word模板.zip
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
2022学术英语写作(东南大学) 章节测试+期末test答案
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
得到品控手册7.0.pdf
VideoDownloadHelper去除120分钟时间限制-高级版.zip
RentingSystem.rar
基于OpenCV的车牌号码识别的Python代码(可直接运行)
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
计算机专业实习日记+实习周记+实习总结
Keil5安装包
基于matlab的车牌识别系统设计
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
2021华为芯片研发岗位笔试题
最新下载
VMware-viewcomposer-7.6.0-9491669
QFT-Matlab设计工具箱
C#网络编程高级篇之网页游戏辅助程序设计代码包
visual studio 2017中英文企业版百度网盘离线安装包15.7版本38.69GB
招行银企直连接口文档
建伍471A写频软件,内含中文版,可用于改频覆盖业余段
电信、移动、联通A10-A15通用53.7.2运营商ipcc
MAXIM ADC 测试MATLBA代码
玩客云刷机功能包(全套资料) 真·包教包会!!! 玩客云刷机软件+玩客云刷机固件+固件刷写软件+openwrt固件+手把手教学
88E1111手册/88E1111-SFP-原理图/88E1111-Fiber+Copper原理图