LT+codes

LT+codes技术资料下载专区,收录1,284份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
1,284

LT+codes 热门资料

查看全部 1,284 份 →

< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语...

2014-11-29 49 LT+codes

编译原理的课程设计,对PL0进行扩充完成内容如下:1. 基本内容: (1)增加单词:保留字;运算符 (2)修改单词:不等号# 改为 <> (3)增加条件语句的ELSE子句 (4)扩充赋值运算:+= 和 -= (5)扩充...

2015-11-02 60 LT+codes