Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Grupa: Valsts valodas centrs
Nozare: Informācijas un komunikācijas tehnoloģijas
lv
programmas korektuma pierādījums
Definīcija:
Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
en
program correctnes proof
ru
доказательство правильности программы
Kolekcija: Angļu – krievu – latviešu skaidrojošā vārdnīca. Datu pārraides un apstrādes sistēmas. R.: A/s SWH, 1995.
Nozare: Informācijas un komunikācijas tehnoloģijas
Apstiprināts: 01.01.1995.