非形式类型描述
informal type specification
非形式描述
informal specification
非形式说明
informal specification
非形式语法树
informal syntax tree
非形式证明
informal proof
方法上和形式上
modo et forma
分离系数形式
detached coefficient form
浮动形式
relocatable form
反对称状态
antisymmetrical state
反应状态
reactive state
返回系统状态信息
return system status information
范德瓦耳斯状态方程
van der Waals equation of state
防御状态
defense attitude
非激活状态
unactivated state
非交战状态
nonbelligerency
封锁状态
blocked state
俘获状态
trap state
trapping state
浮点状态
floating-point status
浮点状态向量
floating-point status vector
浮升状态
afloat