< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
SmartARM2300原理图,PDF文档,很祥细...
opnet modeler与网络仿真:一本较权威的opnet教材,关于函数的讲解很细...
提 出了一种 网络 化嵌 入 式 数 控 系统 , 系统 采 用 A RM 4 - D S P结 构 , 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了...
提 出了一种 网络 化嵌 入 式 数 控 系统 , 系统 采 用 A RM 4 - D S P结 构 , 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了...
学习嵌入式应用系统设计,需要有一个好的学习环境,达到快速入门和提高的效果。本节祥细介绍该系统的组成和使用方法。...
RTU程序,数据保存!采用LPC的2200,ucossii操作细听...
离散数学教学课件,ppt格式的,写得比较细,对自学者有帮助...
简单的求解tsp问题,比matlab demo中的更细,用的是蚂蚁算法。...
无线通信FPGA设计 书的附带代码。书中涉及无线通信的各个环节,但是介绍的都不细,而且例程太简单,但是可以做入门学习用。...