理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- tumour interventional radiology
- tumour necrosis factor
- tumour specific antigen
- tumour thick-shell mussel
- Tum Teav
- Tumubao
- Tumuji national nature reserve
- tumula
- tumulosic acid
- Tumulto dei Ciompi
- Tumur Feng National Nature Reserve
- Tumushuke Shi
- Tu music
- Tun
- tunability
- tunable
- tunable DFB laser
- tunable diode laser absorption spectroscopy
- tunable diodeLaser absorption spectroscopy
- tunable diode laser absorption spectroscopy-based multi-phase flow measurement
- tunable filter
- tunable laser
- tunable laser crystal
- tunable laser dye
- tunable laser source