Tipkovnice
correctness proof, program correctness proof, proof of correctness dokaz pravilnosti programa
Vir: Računalniški slovarček - Odsek za inteligentne sisteme, Institut Jožef Stefan in društvo ACM Slovenija
Komentiraj slovarski sestavek
Obvestilo o uporabi piškotkov
Trenutno imate izkljopljeno uporabo ne-nujnih piškotkov.
Ta stran uporablja piškotke. Z nadaljevanjem uporabe te strani soglašate z uporabo nujnih piškotkov. Za ne-nujne piškotke podajte izrecno soglasje.
Več o piškotkih
Dostopnost
Dostopnost