Ceturtdiena, 17. aprīlis   Šī ir funkcionējoša termini.lza.lv versija. Apmeklējiet arī Latvijas Nacionālo terminoloģijas portālu.
  Sākumlapa
  Terminu datubāze
  Struktūra un principi
  Apakškomisijas
  Sēdes
  Lēmumi
  Protokoli
  Vēstules
  Publikācijas
  Konsultācijas
  Vārdnīcas
  EuroTermBank
  Par portālu
  Kontakti
  Resursi internetā
  «Terminoloģijas Jaunumi»
  Atbalstītāji
  Notikumi
LZA TK termini atrodami Akadēmiskajā terminu datubāzē AkadTerm

Vēlaties portāla jaunumus
saņemt pa e-pastu?
Norādiet savu adresi:

Pakalpojumu nodrošina FeedBlitz

Akadēmiskā terminu datubāze AkadTerm
 Palīdzība
Izmantojiet zvaigznīti * vārda daļu meklēšanai (piemēram, dator* vai *pratība)
Jūs meklējāt korektuma pierādīšana
Atrasti 3 termini

▪ daļējā korektuma pierādīšana
▪ korektuma pierādīšana
▪ pilnīgā korektuma pierādīšana
  1. EN correctness proving
    LV korektuma pierādīšana
    ISO 2382 07.07.27, prot. Nr. 288 (23.03.2007)
    LZA TK ITTEA protokoli

  2. 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

  3. EN correctness proof
    LV korektuma pierādīšana
    RU доказательство корректности
    Personālie datori. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., Dati, 1998
© 2005–2025 Latvijas Zinātņu akadēmija