Pavasara versija 2025
408 984 šķirkļi
programmas korektuma pierādījums vārdkoptermins; joma: informātika
Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
Avoti: