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