内容简介
计算 系统 的形式语义是目前 计算机 科学 理论 研究 的两大方向之一，其研究成果对 程序 设计 语言 、编译 技术 、 应用软件 、分布式系统等分支领域有重大的实际意义。《计算系统的形式语义》大体上分为三个部分。第一部分是 数学 基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大 经典 流派。第三部分包括第六到第九章，概述了形式语义学的 现代 应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观 生命 系统，以及 量子 程序设计语言的形式语义。
全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的 近代 发展潮流和 趋势 ，并对不同流派的理论和 方法 给予了分析和评论。
《计算系统的形式语义》可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为 工具 书。
评论列表
发表评论