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.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Matilda03
-
(V.I.P) 29583 points - 100% positive feedback
(Stockholm, Sweden)
