LZA TK ITTEA terminu datubāze
Latvijas Zinātņu akadēmijas Terminoloģijas komisijas Informācijas tehnoloģijas, telekomunikācijas un elektronikas terminoloģijas apakškomisijā apstiprināto terminu apkopojums.
Grupa: Informācijas tehnoloģijas, telekomunikācijas un elektronikas terminoloģijas apakškomisija
Nozare: Informācijas un komunikācijas tehnoloģijas
lv
korektuma pierādīšana
verificēšana
Definīcija:
Programmas korektuma formāla pierādīšana.
en
correctness proof
verification
ru
доказательство корректности
верификация
Kolekcija: LZA TK ITTEA terminu datubāze
Nozare: Informācijas un komunikācijas tehnoloģijas
Apstiprināts: 01.01.2007.