分册书目(共2册)
- 第1册 计算系统的形式语义 (上)试读
- 第2册 计算系统的形式语义(下)试读
简介
计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统,以及量子程序设计语言的形式语义。 全书内容丰富,结构严谨,集形式语义学理论及其应用的有关分支之大成,系统地反映了这个领域各方面的研究成果,特别是它的近代发展潮流和趋势,并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书,也可供有关专业或交叉学科的科研人员进修或作为工具书。
更多出版物信息
- 版权: 清华大学出版社
- 出版: 2017-01-01
- 更新: 2023-06-07
- 书号:9787302414940
- 中图:TP301.2
- 学科:工学控制科学与工程工学计算机科学与技术