理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- Tekes Xian
- tekitite
- Tekkathou Maung Thant Sin
- tektite
- TEL
- Tel
- Tela
- tela corticalis
- telautogram
- telautomatics
- teleammeter
- telebinocular
- telebit
- telebrineller
- telecamera
- telecardiogram
- telecardiography
- telecast
- telecentric
- telecentrical path
- telecentric beam
- telecentric lens
- telecentric objective
- telecentric path
- telecentric path of rays