计算系统的形式语义(下册)
正版、现货、实物图片、当天发货
¥
198
5.0折
¥
398
八五品
库存2件
作者陆汝钤
出版社清华大学出版社
出版时间2017-01
版次1
装帧精装
上书时间2024-07-24
商品详情
- 品相描述:八五品
图书标准信息
-
作者
陆汝钤
-
出版社
清华大学出版社
-
出版时间
2017-01
-
版次
1
-
ISBN
9787302414940
-
定价
398.00元
-
装帧
精装
-
开本
其他
-
纸张
其他
- 【内容简介】
-
计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。*部分是数学基础,为*章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统,以及量子程序设计语言的形式语义。全书内容丰富,结构严谨,集形式语义学理论及其应用的有关分支之大成,系统地反映了这个领域各方面的研究成果,特别是它的近代发展潮流和趋势,并对不同流派的理论和方法给予了分析和评论。本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书,也可供有关专业或交叉学科的科研人员进修或作为工具书。
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价