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.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Matilda03
- 100% positive feedback
(Stockholm, Sweden)