-
EN correctness proof; verification
LV korektuma pierādīšana; verificēšana
RU доказательство корректности; верификация
Definīcija: Programmas korektuma formāla pierādīšana.
LZA TK ITTEA terminu datubāze
-
EN correctness proof
LV korektuma pierādīšana
RU доказательство корректности
Personālie datori. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., Dati, 1998
-
EN correctness proof
LV korektuma pierādījums
RU доказательство корректности
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
