< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
标签： gt 语言 lt 开发指南
上传时间： 2014-11-29
上传用户：康郎
详细描述了ASN.1抽象语法,介绍了几种经典的编码规则
标签： ASN 抽象 编码
上传时间： 2013-12-21
上传用户：维子哥哥
编译原理 做一个后缀翻译 还有抽象堆栈机代码翻译
标签： 翻译 编译原理 抽象 堆栈
上传时间： 2016-05-12
上传用户：asasasas
反馈控制系统分析与设计,虽然有点抽象，应该还是比较使用的。
标签： 反馈控制 系统分析 抽象
上传时间： 2013-12-25
上传用户：lepoke
数据结构：抽象数据类型的介绍；讲述如何构造函数和如何实现；
标签： 数据结构 抽象数据类型 函数
上传时间： 2013-12-16
上传用户：xuanchangri
抽象三层访问数据库示例，实现DOA、ADO、Web几种方式访问数据库。此程序为实现程序。主要是IDataAccess的几个实现
标签： 抽象 访问 数据库
上传时间： 2016-06-02
上传用户：zuozuo1215
J2EE面试题集锦(附答案) 一、基础问答2.抽象类和接口的区别
标签： J2EE 面试题 集锦 问答
上传时间： 2014-12-05
上传用户：Zxcvbnm
gdal是一个栅格影像抽象处理库。本文档主要解释了其栅格模型结构(中文翻译)
标签： gdal 抽象 文档 模型
上传时间： 2016-06-22
上传用户：龙飞艇
定义一个Shape抽象类，在此基础上派生出Rectangle和circle类，二者都有GetArea（）函数计算对象面积，GetPerim（）函数计算对象的周长。使用Rectangle类派生出一个新类Squre。
标签： Shape 定义 抽象
上传时间： 2014-11-30
上传用户：moshushi0009
抽象数据类型的实现
标签： 抽象数据类型
上传时间： 2014-01-02
上传用户：wfl_yy
