文件名称：the formal semantics of programming language: an introduction
文件大小：6.12MB
文件格式：RAR
更新时间：2018-06-28 14:29:35
formal semantics
本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为专业，却是一本非常优秀的关于形式化语义的教材！
【文件预览】：
PDF189-20120905-ChengXuSheJiYuYanDeXingShiYuYi.pdf