只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
形式语义学
形式语义学
上传者:
songzgabc
|
上传时间: 2021-11-08 22:33:27
|
文件大小: 6.61MB
|
文件类型: -
形式语义学
形式语义学的教科书两本:形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。
文件下载
立即下载
评论信息
其他资源
论文解读《Histograms of Oriented Gradients for Human Detection》.pdf
可测性设计及DFT软件的使用
vsphere vcenter+esxi key(6.0和6.5)
83个常见报警音wav格式
基于单片机MSP430的数字钟代码
JAVA实现可视化用户管理系统
计算机考研模拟八套卷
BpmAnlyz一款超级猛的歌曲BPM计算器!我找了很久的。。。
mongodb安装文件安装步骤常用命令和案例.rar
万安PLC程序(仅供学习)
ResampleTool:哥白尼全球土地服务的重采样工具-源码
Medical-Data-Anonymization-DICOM-DCMTK.rar
我的第一博客-源码
ts-lerna-base:准系统打字稿lerna后端前端monorepo-源码
欧盟电动汽车充电系统标准解析.pdf
CSR蓝牙模块选型+csr8675+QCC300+技术资料+参考设计.zip
第1章 模糊数学1.4-1.5.ppt
DeepCCA-master.zip
立创3225——PCB封装库
BBS论坛.mdl
jconsole.1.8.0jar
SSM整合时的Maven项目源码
YY0319-2008医用电气设备 第 2部分 医疗诊断用磁共振设备安全专用要求版.pdf
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Spring相关的外文文献和翻译(毕设论文必备)
雷达信号处理仿真程序(MTI,MTD等)
夏天IC助手1.8你们懂的
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
先进PID控制Matlab仿真第4版-PDF+代码.zip
中国地面气象站观测数据2000-2021
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
中国地面气候资料日值数据集(V3.0)2010-2019.rar
拾荒者扫描器.zip
IEEE 39节点系统的Simulink模型
IBM CPLEX 12.10 学术版 mac操作系统安装包
BP神经网络+PID控制simulink仿真
Python+OpenCV实现行人检测(含配置说明)
故障诊断数据集及实现代码
最新下载
串口调试工具 XCOM V2.6
最小拍控制器的Matlab仿真
C# winform记住密码及自动登陆源码
基于spring boot的小区物业管理系统源码+论文+答辩ppt
2021年电子设计大赛设计报告.docx
matlab simulink扩频通信系统QPSK、MSK调制OVSF、Walsh两种序列simulink仿真,出误码率对
基于Android Studio开发的答题APP
shapeNet数据集,包括hdf5、带法向量、不带法向量等三种格式数据集--网盘下载链接(永久有效)
STM32F103 定时器触发ADC+DMA中断+双缓冲
djiiif:适用于Django的简单IIIF集成