EN program correctnes proof
LV programmas korektuma pierādījums
RU доказательство правильности программы
Definīcija: Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
LZA TK ITTEA terminu datubāze
EN program correctnes proof
LV programmas korektuma pierādījums
RU доказательство правильности программы
Definīcija: Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995
