the formal semantics of programming language an introduction

本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为专业，却是一本非常优秀的关于形式化语义的教材！

嵌入式 24 0 RAR 2018-12-26 03:12:59