理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- "Better Service, Better Government" e-government strategy
- Betti
- Betti group
- Bettina
- Bettina Rheims
- Bettina von Arnim
- betting
- Betti number
- Betti number and torsion number
- Betti reciprocal theorem
- Betty Loh Ti
- Betty's Hope Museum
- Betula Deciduous Broadleaf Forest
- Betula ermanii Deciduous Broadleaf Forest
- betulic acid
- betulin
- betulinic acid
- betweenanene
- betweencenters
- Between Facts and Norms
- Between Friends
- between-group correlation
- between-group dispersion matrix
- between-group sum of squares
- between-group variance