本书用生动的语言讲述了数学教学的形式语言模型论。
2004.09
本书围绕目前在印刷和电子出版领域获得广泛应用的两种页面描述技术PostScript语言和PDF文档格式展开讨论。
2004.03
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示...
2003.12