理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- Cross Channel Intelligence Community
- cross-checking
- cross classification
- cross coherence
- cross combination
- cross compiling
- cross-conjugate
- cross conjugation
- cross connecting cabinet
- cross-coordination
- cross correlation
- cross-correlation
- crosscorrelation
- cross-correlation analysis
- cross-correlation coefficient
- cross correlation function
- cross-correlation function
- cross-correlation interferometer
- cross-correlation method
- cross-correlation receiver
- cross-correlation spectrometer
- cross-correlation technique
- cross-correlation theorem
- cross correlator
- cross-country skiing