形式化方法是软件工程专业的核心课程，但相关教材稀缺，本书弥补了这一空白，内容全面，适合教学。