MARC状态:审校 文献类型:中文图书 浏览次数:28
- 题名/责任者:
- 计算系统的形式语义.上/陆汝钤著
- 出版发行项:
- 北京:清华大学出版社,2017
- ISBN及定价:
- 978-7-302-41494-0 精装/CNY199.00
- 载体形态项:
- xvii, 927页:图;24cm
- 个人责任者:
- 陆汝钤 著
- 学科主题:
- 形式语义-研究
- 中图法分类号:
- TP301.2
- 一般附注:
- 国家科学技术学术著作出版基金
- 书目附注:
- 有书目 (第1655-1743页) 和索引
- 提要文摘附注:
- 本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法, 并结合近年来形式语义学的最新进展, 适应发展迅速的并发系统等对形式语义描述的需求, 着重增加了并发语义和移动计算系统的形式理论等内容。此外, 还增加了当今非常热门的一个研究内容, 即生物系统的形式化描述问题。内容全面丰富, 文笔流畅, 可读性强, 是一本难得的学术专著。
- 使用对象附注:
- 相关研究人员
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP301.2/11-1 | CN1509078 | - | ![]() |
阅览 | |
TP301.2/11-1 | CN1509079 | - | ![]() |
可借 | 未央馆 |
显示全部馆藏信息