MARC状态：已编 文献类型：中文图书 浏览次数：34
- 题名/责任者:
- 形式语义学的稳定论域理论/陈仪香著
- 出版发行项:
- 北京:科学出版社,2003
- ISBN及定价:
- 7-03-011264-4/CNY18.00
- 载体形态项:
- 205页;20cm
- 丛编项:
- 国家自然科学基金研究专著.数理科学系列
- 个人责任者:
- 陈仪香 著
- 学科主题:
- 形式语义学-研究
- 学科主题:
- 形式语义学
- 中图法分类号:
- TP301.2
- 一般附注:
- 国家自然科学基金研究成果专著出版基金资助
- 提要文摘附注:
- 本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP301.2/3 | 541649 |  密集库1
|
可借 | |
| TP301.2/3 | 541650 | 密集库1
|
可借 | |
| TP301.2/3 | 541651 | 密集库1
|
可借 | |
| TP301.2/3 | 541653 | 洪庆校区
|
可借 | |
| TP301.2/3 | 541648 | 内阅图书
|
可借 | |
| TP301.2/3 | 541652 | 金花馆
|
可借 |
显示全部馆藏信息