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