盘天下 | 免费精选资源分享

内容简介

计算系统的形式语义是目前 计算机 科学 理论研究的两大方向之一，其研究成果对程序 设计 语言 、编译 技术 、 应用软件 、分布式系统等分支领域有重大的实际意义。《计算系统的形式语义》大体上分为三个部分。第一部分是 数学 基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大 经典 流派。第三部分包括第六到第九章，概述了形式语义学的 现代 应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观 生命 系统，以及 量子 程序设计语言的形式语义。

全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的 近代 发展潮流和 趋势 ，并对不同流派的理论和 方法 给予了分析和评论。

《计算系统的形式语义》可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为工具书。

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：g2zv

本站夸克网盘精选资源合集：https://pan.quark.cn/s/936c760dd840

转载请注明出处，本文链接：https://www.80srz.com/pantx/72984.html