| 价格 | ￥4.15 |
| 发货 | 广东东莞市 |
| 数量 | -+ |
| 库存 | 100本 |
本书是国内第一本介绍Anna语言的书籍.Anna是一种以Ada 为基础的规格说明语言，大量吸收了Pascal等语言的研究成果， 可广泛用于软件开发过程中从需求规格说明、设计、编码、测试到 维护各个阶段。全书由三部分组成：第一部分是Anna入门、对 Anna作一般介绍；第二部分是完整的Anna参考手册；第三部分 详细描述了与Anna互补的TSL－1语言。 本书适用于广大软件工作者、高等院校师生，可作为高校本科 生与研究生有关课程的教学参考书。
第一部分：Ada及其规格说明语言Anna 1引言 2Ada典型特征 3Anna基本概念 3.1虚拟Ada行文 3.2标注 3.3新增运算与属性 3.4带量词表达式 ……
