形式语言

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然后，从集合、序列等基本数学符号表示到B 语...

2014-11-29 49 形式语言

2014-12-05 181 形式语言

2013-12-07 123 形式语言

以字符形式从终端输入语法正确的，不含变量的整数表达式。利用算符优先关系，实现对算术四则混合运算表达式求值。

2015-11-08 140 形式语言

2015-03-10 178 形式语言

2022-12-11 6 形式语言

单文档形式，画线功能，计时器画线功能，多线程画线功能

2014-01-18 125 形式语言

天线形式(UWB)，好资料，有需要的可以下来看看。

2022-12-01 5 形式语言

形式语言 热门资料