英语词汇formal algebra怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

1
?形式代数
... 形式次数 formal degree 形式代数 formal algebra 形式地址 formal address ...
2
[数]?形式代数学
... form for curvature 曲率形式 formal algebra 形式代数学 formal approach 形式方法 ...

1
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
2
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
3
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。

单词	formal algebra
释义	formal algebra 简明释义形式代数网络释义 1 ?形式代数 ... 形式次数 formal degree 形式代数 formal algebra 形式地址 formal address ... 2 [数]?形式代数学 ... form for curvature 曲率形式 formal algebra 形式代数学 formal approach 形式方法 ... 双语例句 1 Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols. 采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。 2 FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs. FSP是一类描述并发程序形式化规约的进程代数记法。 3 Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied. 其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
随便看	Reye-like syndrome Reye like syndrome reyer reyerite Reyero Reyes Reye's disease Reyes Reyes, Point singing flame singing game singing group singing hinny singing lamp singing lesson singingly singing margin singing master singing master singing of repeater sing out singing phenomenon singing point singing point equivalent singing propeller