程序设计语言的形式语义

本书是计算机专业本科生研究生形式语义学教材。

红色语言（REDL）的非形式说明书

计算机语言的形式语义

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

软件形式规格说明语言-Z

本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。

表现色彩：从现象分析到形式语言表现教学

本书为素描表现的教学、实践之探讨。

语言规范与创新

当代语言学理论丛书 形式语义学引论

语言形式化原理

本书为“汉语国际教育和中国文化传播的对策研究”的阶段性研究成果，基于语言学和信息学的视角，从语音、语义、语法、语用修辞、文字等方面深入探讨了语言形式化的一般原理和方法，对于语言学的构建具有一定的理...

音乐的结构与风格 音乐形式的分析与研究

油画形式语言探索

本书为滇西学术文丛系列丛书的第四辑，由保山学院何奎老师撰写，以保山学院相关专业的师生及油画研究者为读者对象。书稿探讨了油画表现语文的特性、审美特点、审美意蕴，剖析了油画中国化的历史进程和其意义，并分...