理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- Ghibellini
- Ghibli Museum, Mitaka
- G. Higman
- G. Higman (1917—2008)
- GHIH
- Ghilzais
- ghirjek
- Ghirlanda relation
- Ghost
- ghost
- Ghostcatching
- ghost component
- ghost crater
- Ghost Festival
- ghost field
- ghost image
- ghost imaging
- ghost interference
- Ghost In The Shell
- ghost line
- ghost line, spurious line
- Ghost Love
- ghost marriage
- ghost moths
- Ghost Nebula