MARC状态：审校 文献类型：中文图书 浏览次数：32
- 题名/责任者:
- 计算机语言的形式语义/陆汝钤编著
- 出版发行项:
- 北京:科学出版社,1992.12
- ISBN及定价:
- 7-03-003022-2/$21
- 载体形态项:
- 886页;20cm
- 编目员补充题名:
- 计算机 形式 语义
- 个人责任者:
- 陆汝钤 编著
- 学科主题:
- 程序语言 - 形式 - 语义学
- 学科主题:
- 形式 - 语义学 - 程序语言
- 中图法分类号:
- TP312
- 中图法分类号:
- TP301.2
- 一般附注:
- 中国科学院科学出版基金资助项目
- 提要文摘附注:
- 本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容,并辟一章集中讨论了并发和分布式语义。
全部MARC细节信息>>