- BLDCM 这是基于matlab的一个无刷直流电机的仿真模型
- clock 可爱时钟 labview编写的一个小闹钟程序 用于初学者的练习
- Access_computer_ports_available 获得计算机可用端口Access to computer ports available
- ORACLE.ZIP 是关于ORACLE数据库的
- fluxus-0.16.tar Fluxus is a rapid prototyping livecoding environment written in C++ and extensible in scheme/lisp it allows fast/easy interaction with a opengl stack which can generate procedural visuals as well as sound
- m85767 开发套件程序
文件名称:The_B_Language_and_Method
介绍说明--下载内容来自于网络,使用问题请自行百度
< B语言与方法:实用形式化开发指南>>
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成
系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然
后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支
持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成
系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然
后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支
持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
B语言与方法:实用形式化开发指南.pdf
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.