Home >  Term: partiell korrekthet
partiell korrekthet

Bevis för riktigheten, en beteckning som anger att ett program utdata påståenden följer logiskt från dess indata påståenden och behandling steg.

0 0

ผู้สร้าง

  • Matilda03
  • (Stockholm, Sweden)

  •  (V.I.P) 29583 points
  • 100% positive feedback
© 2025 CSOFT International, Ltd.