理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- zearalenone poisoning
- Zea species
- zeatin
- zea xanthin diglucoside
- Ze Bei
- ZEBRA battery
- zebra bullhead shark
- zebrafish
- zebra-stripe interferometer
- zebra’s tour
- zebra电池
- Zecharias Frankel
- ZECSY
- zedoray rhizome
- Zeeman
- Zeeman atomic absorption spectrometer
- Zeeman coherence
- Zeeman component
- Zeeman crater
- Zeeman-Doppler imaging
- Zeeman effect
- Zeeman energy
- Zeeman level
- Zeeman paradox
- Zeeman, Pieter