Inicio > 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.
- Parte del discurso: noun
- Industria/ámbito: Ordenador; Software
- Categoría: Software engineering
- Organization: IEEE Computer Society
0
Creador
- Matilda03
-
(V.I.P) 29583 puntos - 100% positive feedback
(Stockholm, Sweden)
