程序设计语言的形式语义-相关搜索第1页

共找到 1 与程序设计语言的形式语义相关的结果，耗时2 ms

标签：计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义, 原作名:The Formal Semantics of Programming Languages

作者：Glynn Winskel 出版年月：2020-02-20 … 页数： 283页最新访问：2020-05-23 … 网友评分： 7.9

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情