资源列表
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] banyiyuanlikejian
说明:编译原理课件辅助大家的课程学习希望多大家有帮助<wenming> 在 2008-10-13 上传 | 大小:5.59mb | 下载:0
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2024-11-07 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] banyiyuanlikejian
说明:编译原理课件辅助大家的课程学习希望多大家有帮助-Compilation Principle courseware assisted learning courses we hope that we have to help<wenming> 在 2024-11-07 上传 | 大小:5.59mb | 下载:0
[编译器/词法分析] MITSUBISHI_Compiler
说明:一、该工程已基本完成PLC编程器的功能。 二、还需完成的功能有: 1。助记符程序分段时,不需加(;***)符号。 2。写助记符程序时,加行号。 3。助记符程序编辑器,还要加上光标位置显示。 4。元器件地址需用数据库进行管理。 5。使助记符程序与梯形图程序之间能互相切换。 6。还需补充MSP、MRD、MPP、MC、MCR等语句。-A, the project has basically comple<kevin> 在 2024-11-07 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] CompilersPrinciples
说明:A document about compiler!<Vietnam> 在 2024-11-07 上传 | 大小:5.62mb | 下载:0
[编译器/词法分析] eclipse-workspace-LM3S9B96-gcc
说明:Working eclipse workspace to compile and debug LM3S9B96 development kit using gcc and openocd (free toolkit) rather than the supplied evaluation keil.<corona> 在 2024-11-07 上传 | 大小:5.59mb | 下载:0
[编译器/词法分析] CA-Base-D3D-Menu-Selection
说明:Menu D3D BR for CStrike<Leonardo> 在 2024-11-07 上传 | 大小:5.59mb | 下载:0