形式语义学的稳定论域理论

作者陈仪香著
出版社科学出版社
出版时间 2003年
ISBN 7030112644 或 9787030112644
定价 18.00

内容简介

本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。

丛书

国家自然科学基金研究专著.数理科学系列

— END —