书目详细信息
： 形式语义学基础与形式说明
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-026238-7:CNY59.00 |
|---|---|
| ISBN/价格： | 978-7-03-026238-7:CNY59.00 |
| 题名： | 形式语义学基础与形式说明 |
| 作品语种： | chi |
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 出版国别： | CN 110000 |
| 题名责任者项： | 形式语义学基础与形式说明/.屈延文编著 |
| 题名责任者项： | 形式语义学基础与形式说明/.屈延文编著 |
| 版本项： | 2版 |
| 版本项： | 2版 |
| 出版发行项： | 北京:,科学出版社:,2010 |
| 出版发行项： | 北京:,科学出版社:,2010 |
| 载体形态项： | 11,496页:;+24cm |
| 载体形态项： | 11,496页:;+24cm |
| 丛编项： | 中国信息安全测评中心系列丛书 |
| 丛编项： | 中国信息安全测评中心系列丛书 |
| 提要文摘： | 本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。 |
| 提要文摘： | 本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。 |
| 题名主题： | 形式语义学 研究 |
| 题名主题： | 形式语义学 |
| 题名主题： | 形式语义学 研究 |
| 题名主题： | 形式语义学 |
| 中图分类： | TP301 |
| 中图分类： | TP301 |
| 个人名称等同： | 屈延文 编著 |
| 个人名称等同： | 屈延文 编著 |
| 记录来源： | CN 布克巴巴 20240620 |
| 记录来源： | CN 布克巴巴 20240620 |