资源列表
[编译器/词法分析] The_B_Language_and_Method
说明:< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。<蒋崇武> 在 2008-10-13 上传 | 大小:5.5mb | 下载:0
[编译器/词法分析] CuteEditor_for_NET6
说明:C#asp.net 外国最好的HTML在线编辑组件<王标龙> 在 2008-10-13 上传 | 大小:17.07mb | 下载:0
[编译器/词法分析] quincy2002src
说明:一个完全使用MFC框架开发的C++编译器的代码。功能十分强大可以编译大型程序。<王子> 在 2008-10-13 上传 | 大小:177.24kb | 下载:0
[编译器/词法分析] OM_src_0.20
说明:一个强大的虚拟机的源代码。虽然是一个OD的插件,但是他实现了完整的虚拟机功能,包括大部分的CPU指令集。学习虚拟机必看<王子> 在 2008-10-13 上传 | 大小:132.99kb | 下载:1
[编译器/词法分析] turbodemotool
说明:利用matlab对turbo码仿真分析,是研究turbo码的好工具<凌昙> 在 2008-10-13 上传 | 大小:41.57kb | 下载:0
[编译器/词法分析] cifafenxiqi
说明:该词法分析程序用VC++ 6.0编写,以FileOpenDialog打开的*.c或*.cpp文件为语言字集的 源程序作为词法分析程序的输入数据,经词法分析程序分析后的结果<朱望> 在 2008-10-13 上传 | 大小:1.52kb | 下载:0