MARC状态：审校 文献类型：中文图书 浏览次数：57
- 题名/责任者:
- 形式语义学基础与形式说明/屈延文编著
- 出版发行项:
- 北京:科学出版社,1989
- ISBN及定价:
- 7-03-000606-2/CNY36.00
- 载体形态项:
- 681页;20cm
- 个人责任者:
- 屈延文 编著
- 学科主题:
- 形式语言-语义学
- 中图法分类号:
- TP31
- 中图法分类号:
- TP312
- 提要文摘附注:
- 全书共分十章。介绍了指称语义学、代数语义学等,并介绍了发展程序设计语各流派的语义模型和新一代计算机的计算模型的理论问题。
全部MARC细节信息>>
密集书库一