< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。

一个完全使用MFC框架开发的C++编译器的代码。功能十分强大可以编译大型程序。

，我们开始迈入单片机的世界。在我们开始这一章具体的学习之前，有必要给大家先说明一下。在以后的系列文章中，我们将以51内核的单片机为载体，C语言为编程语言，开发环境为KEIL uv3。至于为什么选用C语言开发，好处不言而喻，开发速度快，效率高，代码可复用率高，结构清晰，尤其是在大型的程序中，而且随着编译器的不断升级，其编译后的代码大小与汇编语言的差距越来越小。而关于C语言和汇编之争，就像那个啥，每隔一段时间总会有人挑起这个话题，如果你感兴趣，可以到网上搜索相关的帖子自行阅读。不是说汇编不重要，在很