计算机专业研究生教材:形式语义学

《形式语义学(计算机专业研究生教材)》(作者杨静、杨华、杨溢龙、段国勇、朱浩等)分为六个章节，分别介绍引言，操作语义的语义框架，指称语义的数学描述方法，公理语义的推理模式，静态程序分析的基本方法，最后是实例研究。
本书可作为计算机专业本科生、研究生教材，也可作为相关领域研究人员、教师的参考书。