计算系统的形式语义 - 中国高校教材图书网
|
|
书名: |
计算系统的形式语义
|
ISBN: | 9787302414940 |
条码: | |
作者: |
陆汝钤
相关图书
|
装订: | 平装 |
印次: | 1-1 |
开本: | 16开 |
定价: |
¥398.00
折扣价:¥378.10
折扣:0.95
节省了19.9元
|
字数: |
|
出版社: |
清华大学出版社 |
页数: |
|
发行编号: | |
每包册数: |
|
出版日期: |
2017-01-01 |
|
内容简介: |
计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统,以及量子程序设计语言的形式语义。 全书内容丰富,结构严谨,集形式语义学理论及其应用的有关分支之大成,系统地反映了这个领域各方面的研究成果,特别是它的近代发展潮流和趋势,并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书,也可供有关专业或交叉学科的科研人员进修或作为工具书。
|
作者简介: |
|
章节目录: |
|
精彩片段: |
|
书 评: |
|
其 它: |
|
|
|