资源列表
[编译器/词法分析] The_B_Language_and_Method
说明：< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小：5.5mb | 下载：0
[编译器/词法分析] The_B_Language_and_Method
说明：< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2025-07-16 上传 | 大小：5.5mb | 下载：0
[编译器/词法分析] banyiyuanlikejian
说明：编译原理课件辅助大家的课程学习希望多大家有帮助-Compilation Principle courseware assisted learning courses we hope that we have to help<wenming> 在 2025-07-16 上传 | 大小：5.59mb | 下载：0
[编译器/词法分析] disign
说明：《仓库管理系统》是采用VISAUL C++开发的一个数据库管理系统。本设计说明书主要讲述了VISAUL C++的基本功能及设计方法。紧接着以本系统为例，逐一介绍开发本系统的步骤：系统分析、系统设计、系统实现、系统维护。在系统分析中先后用数据流图、系统的功能结构图分析了系统所需的各种数据。在系统的设计中，详细的展现了系统的各个功能模块。所需的数据库表及表字段。菜单的设计等。在系统的实现中，给出了实现表单中相应的功能控件的事件及代码。以及菜单实现的方法。文章的最后则给出了本系统的主要功能运行界面图。<廖晟微> 在 2025-07-16 上传 | 大小：5.58mb | 下载：0
[编译器/词法分析] LexAndYacc
说明：YACC和LEX的资料书籍 以及一些源码 很有帮助-YACC and LEX information source books as well as some helpful<yoyo> 在 2025-07-16 上传 | 大小：5.48mb | 下载：0
[编译器/词法分析] MITSUBISHI_Compiler
说明：一、该工程已基本完成PLC编程器的功能。 二、还需完成的功能有： 1。助记符程序分段时，不需加（；***）符号。 2。写助记符程序时，加行号。 3。助记符程序编辑器，还要加上光标位置显示。 4。元器件地址需用数据库进行管理。 5。使助记符程序与梯形图程序之间能互相切换。 6。还需补充MSP、MRD、MPP、MC、MCR等语句。-A, the project has basically completed the PLC programmer functio<kevin> 在 2025-07-16 上传 | 大小：5.5mb | 下载：0
[编译器/词法分析] lex-and-yacc
说明：lex与yacc, 开发编译器的好工具，包含了每个部分的元代码-about lex and yacc,which are good tools for complier construction.It includes every sections codes.<James Jiang> 在 2025-07-16 上传 | 大小：5.48mb | 下载：0