计算系统的形式语义读书介绍

计算机科学,计算机,程序语言,计算理论,算法,逻辑,理论,

陆汝钤      ISBN:9787302414940    原作名/别名:《》

计算系统的形式语义摘要

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

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

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

作者简介

未发行或暂未收录

算计 米泽穗信,推理,小说,日本文学,日本,悬疑,推理小说,　2020-01-01 …

算计 米泽穗信,推理,日本,小说,日系推理,推理小说,悬疑,日本推理,　2020-02-20 …

自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书 NLP,语言学,自然语言处理,计算机,机器学习,知识-专业,思维,形式句法,　2020-02-20 …

计算机体系结构(第2版中文版计算机科学与技术学科研究生系列教材)/计算机科学与技术学 计算机,　2020-02-20 …

计算机程序设计艺术：第4卷 第4册（双语版） 计算机,算法,计算机程序设计艺术,计算机科学,编程,TAOCP,Knuth,programming,　2020-02-20 …

计算机程序设计艺术：第4卷 第3册（双语版） 算法,计算机,计算机程序设计艺术,Knuth,计算机科学,程序设计艺术,编程,programming,　2020-02-20 …

算计：七天的死亡游戏 インシテミル 7日间のデスゲーム() 惊悚 恐怖　2020-02-20 …

算计剧情介绍 都市　2020-02-20 …

计算系统的形式语义 计算机科学,计算机,程序语言,计算理论,算法,逻辑,理论,　2020-02-20 …

21世纪语言学研究前瞻--计算机语言学的基础及应用研究 计算语言学,语言学,乔姆斯基,2018,　2020-02-20 …

计算系统的形式语义大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。