the formal semantics of programming language: an introduction 上传者：upup_noel 2018-12-26 03:12:59上传 RAR文件 6.12MB 热度 58次 本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为专业，却是一本非常优秀的关于形式化语义的教材！ 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2018-12-26 03:12:59 很重要的书，必须的经常读 发表评论
很重要的书，必须的经常读