只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
形式语义学
形式语义学
上传者:
songzgabc
|
上传时间: 2021-11-08 22:33:27
|
文件大小: 6.61MB
|
文件类型: -
形式语义学
形式语义学的教科书两本:形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。
文件下载
立即下载
评论信息
其他资源
dwm1000官方例程
c#实现USB扫码枪监听读取数据 完整代码 可以直接运行
Python分词系统jieba代码(有注释,无报错)
囚徒困境的演化博弈实现(Python)
c_ug902-vivado-high-level-synthesis(中文).pdf
简支梁模态分析程序-motaifenxi_3.m
抖音签名_signature破解
keil5软件最新好用的汉化版本资源
日立ann32调试软件xp系统.rar
报刊订阅数据库
Spring3.0中文帮助文档
Solid Edge 培训资料 01550-通过项目练习技能.pdf
智能插座设计与开发
自己编写的E00读写程序
吉林大学windows程序设计
awvs11补丁
配置OPCLink 通过TCPIP实现和S7 PLC的通信
Asp.net毕业设计网上书店(源码+论文)
mysql-noinstall-5.1.73-win32.zip
数字图像处理图像增强MATLAB程序及仿真
使用TensorFlow搭建智能开发系统,自动生成App UI代码
AxToolsVer134_SetUp_E
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
机械臂避障路径规划仿真 蚁群算法 三维路径规划
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
Spring相关的外文文献和翻译(含出处).zip
基于hadoop商品推荐系统课程设计
2019年秋招—华为硬件工程师笔试题目.pdf
粒子群算法优化3-5-3多项式工业机器人时间最优轨迹规划算法matlab代码
2010年-2020中国地面气候资料数据集(V3.0)
JPEG的Matlab实现
云视通扫描工具.zip
IBM CPLEX 12.10 学术版 mac操作系统安装包
粒子群多无人机协同多任务分配.zip
SSM外文文献和翻译(毕设论文精品).doc
IEEE 39节点系统的Simulink模型
基于Matlab的PI/4 DQPSK的调制解调源代吗
BP神经网络+PID控制simulink仿真
最新下载
C#读取Ollama api DeepSeek和其他模型接口桌面小程序
华为hcip数通试题考考试模拟软件
简约自适应APP下载页源码
使用ollama容器部署Deepseek本地大模型后使用,C#winform离线版
联想智能云教室-V1.3.20.0810-C200805试用版
STM32F103RB最小系统板,带完整的PCB工程-电路方案
3d模型格式转换器v5.3最新破解版.rar
ASPEN超详细教程.pdf
AD9361_增益控制及RSSI用户手册.pdf
高超声速飞行器轨迹规划 Matlab仿真示例程序(附使用说明)