理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- auxanogram
- auxanograph
- Aux chain
- auxeticity
- auxetic polymer
- auxetics
- auxetics, negative Poisson's ratio material
- Aux flow
- auxiliary
- auxiliary army
- auxiliary braking technology for internal combustion engines
- auxiliary calculation
- auxiliary circle
- auxiliary collector
- auxiliary complexing agent
- auxiliary cone
- auxiliary construction
- auxiliary converter
- auxiliary derivation
- auxiliary diagonal
- auxiliary differential equation method
- auxiliary differential equation method, ADE
- auxiliary electrical power
- auxiliary electrode
- auxiliary element