软件工程 卷2 系统与语言规约

本书介绍了描述系统与语言的规约的基本原理和技术。本卷首先讲授一些高级的原理和技术，然后讲授符号学建模的基本原理和技术。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。