Home >  Term: totala korrekthet
totala korrekthet

Bevis för riktigheten angivna en beteckning som anger att ett program utdata påståenden följer logiskt från dess indata påståenden och behandling steg och att dessutom programmet avslutas under alla ingående villkor.

0 0

ผู้สร้าง

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