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

内容简介

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

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

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

下载地址

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

【新用户手机夸克APP转存可以获得1TB免费空间】

夸克网盘「电影」精选合集：https://pan.quark.cn/s/0755e002f4b6

夸克网盘「纪录片」精选合集：https://pan.quark.cn/s/8c76cd47e8be

夸克网盘「短剧」精选合集：https://pan.quark.cn/s/0f27fae4301e

夸克网盘「音乐」精选合集：https://pan.quark.cn/s/c999e39a7f49

夸克网盘「教程」精选合集：https://pan.quark.cn/s/27984fcacdad

夸克网盘「书籍」精选合集：https://pan.quark.cn/s/2532536273dd

• 
• 
• 
• 

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