Z规范及其使用方法

形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...

新时期中国少数民族语言使用情况研究丛书 甘洛民族语言使用现状及其演变

甘洛县的语言资源非常丰富。彝语中的田坝土语和尔苏藏族使用的藏语尔苏话都有独特的研究价值。本书详细介绍和分析了甘洛县彝族和尔苏藏族的语言使用现状及形成这种现状的原因，调查分析了彝族和尔苏藏族（尤其...

巴金与现代出版

本书在翔实的史料的基础上，通过详述巴金的编辑思想与编辑活动及其同现代作家的关系，论证了巴金在中国现代出版史上的重大意义，展现来了巴金作为编辑和出版家对于中国现代文学发展的推动作用。...

语言文字规范应用手册

《语言文字规范应用手册》是一部介绍国家语言文字规范标准的读物。本书的特点在于：一、它选编了最常用的语言文字规范标准9项，有新版本的绝不用旧版本。属于口袋书，便于携带和查检。二、在主要的规范标准后面...

语言规范与创新教学参考书

现代新闻出版编校实用手册

本书是一本从事图书工作者的实用手册，涵盖了编校工作中经常遇到的字词、语法、逻辑、标点等，全面且系统。

文化生活出版社与现代文学

我国台湾地区六所学术图书馆文学及语言类大陆出版品馆藏特性之

语言文字规范应用指南

《语言文字规范应用指南》是一部介绍国家语言文字规范标准的读物。本书的特点在于：一、它选编了适用面最广的最新的国家语言文字规范标准。有国标的一定选国标，有新版本的决不用旧版本。二、在主要的规范标准...

教材完全解读 选修·专题 高中语文 选修十一 语言文字规范与应用 配粤教版