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

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

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

计算系统的形式语义摘要

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

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

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

作者简介

未发行或暂未收录

面向模式的软件架构 卷4：分布式计算的模式语言 软件架构,架构,分布式,设计模式,计算机,模式,软件开发,程序设计,　2020-02-20 …

俄国形式主义文论选 俄国形式主义,文学理论,文艺理论,俄罗斯,文论,俄罗斯形式主义,美学,文艺评论,　2020-02-20 …

函数式算法设计珠玑 函数式编程,算法,计算机科学,algorithm,编程,Haskell,FP,CS,　2020-02-20 …

程序设计语言的形式语义 计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义,　2020-02-20 …

伦理学中的形式主义与质料的价值伦理学 舍勒,哲学,全集,伦理学,*北京·商务印书馆*,@译本,=B,*refresh,　2019-11-01 …

分布式算法 分布式,算法,计算机,计算机科学,计算机技术,　2020-02-20 …

伦理学中的形式主义与质料的价值伦理学（上下） 伦理学,舍勒,哲学,现象学,政治哲学,欧陆哲学,　2020-02-20 …

设计的意义 设计,艺术,设计理论,平面设计,美国,好书，值得一读,读书,2019,　2020-02-20 …

现代设计的意义 设计,设计理论,艺术,英国,平面设计,艺术史书单,建构,社会理论,　2020-02-20 …

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

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

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