|
题名:
|
计算系统的形式语义 ji suan xi tong de xing shi yu yi / 陆汝钤著 , |
|
ISBN:
|
978-7-302-41494-0 价格： CNY398.00(全2册) |
|
语种:
|
chi |
|
载体形态:
|
2册(17,1856页) 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2017.01 |
|
内容提要:
|
本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用，分别介绍分布式系统、移动计算和移动通信系统等形式语义。 |
|
主题词:
|
形式语义 研究 |
|
中图分类法:
|
TP301.2 版次： 5 |
|
主要责任者:
|
陆汝钤 lu ru qian 著 |
|
附注:
|
国家科学技术学术著作出版基金 |