形式化方法导论（第2版）

作者简介

内容简介

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