理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- equilibration
- equilibration for matrix
- equilibrator
- equilibratory sensation
- equilibria
- equilibrium
- equilibrium and stability of stellar sphere
- equilibrium approximation
- equilibrium, balance
- equilibrium borehole temperature logging
- equilibrium carrier
- equilibrium collusion
- equilibrium composition
- equilibrium concentration
- equilibrium condition
- equilibrium condition of a bridge
- equilibrium condition of phase transition
- equilibrium configuration
- equilibrium constant
- equilibrium constant of chemical reaction
- equilibrium constant of gas-phase chemical reaction
- equilibrium deformation
- equilibrium diagram
- equilibrium diagram for Fe-C-O system
- equilibrium diagram for Fe-H-O system