书目详细信息
： 计算系统的形式语义.上
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-41494-0:CNY199.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 计算系统的形式语义/.陆汝钤著 |
| 出版发行项： | 北京:,清华大学出版社:,2017.01 |
| 载体形态项： | xvii, 926页:;+图 (部分彩图):;+24cm |
| 一般附注： | 国家科学技术学术著作出版基金 |
| 提要文摘： | 本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法, 并结合近年来形式语义学的最新进展, 适应发展迅速的并发系统等对形式语义描述的需求, 着重增加了并发语义和移动计算系统的形式理论等内容。此外, 还增加了当今非常热门的一个研究内容, 即生物系统的形式化描述问题。内容全面丰富, 文笔流畅, 可读性强, 是一本难得的学术专著。 |
| 并列题名： | Formal semantics of computing systems eng |
| 题名主题： | 形式语义 研究 |
| 中图分类： | TP301.2 |
| 个人名称等同： | 陆汝钤 著 |
| 记录来源： | CN 湖北三新 20171120 |