计算机科学中的形式化方法

本教材向学生全面介绍了形式化方法及其在软件和硬件规范和验证中的应用。它分为三部分：第一部分介绍形式化方法的一些基础，包括集合论、函数、有限状态机和正则表达式。第二部分着重于逻辑