标签：计算机科学,计算机,程序语言,计算理论,算法,逻辑,理论,
原作名:
作者：陆汝钤
出版年月：2020-02-20 …
页数： 1856页
最新访问：2021-11-21 …
网友评分：
经典好书《计算系统的形式语义》读书内容简介:两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...
详情
