< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
关于嵌入式系统C语言变成规范的文档。十分实用.
上传时间： 2016-07-19
上传用户：二驱蚊器
《How To Think Like A Computer Scientist Learning with C++》. Allen B. Downey写的关于c++的一本书。
标签： B. Scientist Computer Learning
上传时间： 2016-07-31
上传用户：
ppt文件 c语言编程规范。很好的东西。参考了很多资料。编程人员的必备宝典
上传时间： 2014-11-03
上传用户：秦莞尔w
C语言程序规范教材，对提高自己代码规范非常有帮助。
上传时间： 2014-01-05
上传用户：sardinescn
高质量c语言编写规范，应该对大家提高C语言有所帮助
上传时间： 2016-12-19
上传用户：huannan88
基于XML－J2EE、C/S与B/S混合结构的电子商务智能管理信息系统应用研究
上传时间： 2017-07-22
上传用户：1427796291
NASA C语言编程规范，是美国太空总署对用C语言编写的软件的规范要求
上传时间： 2014-01-20
上传用户：ccclll
基于 Ma t l a b语言的遗传算法工具箱支持二进制和浮点数编码方式， 并且提供了多种选择、 交叉、 变异的方法。 通过具体实例对 Ma t l a b的遗传 算法工具箱的用法进行 了说 明介绍.
上传时间： 2017-09-05
上传用户：671145514
To use this function just define a variable say var, var = pnseq(a, b, c) for a, b and c refer to the zip file
标签： var function variable define
上传时间： 2014-01-06
上传用户：zhuoying119
