Eкономічна енциклопедія
А Б [В] Г Ґ Д Е Є Ж З І Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я
ВАРИФІКАЦІЯ ПРОГРАМИ
рос. варификация программы
(англ. program verifica-tion) — перевірка правильності програми шляхом формального доказу відповідності (або невідповідності) програми даній специфікації (контрольному прикладу).
Ви можете поставити посилання на це слово:

матиме такий вигляд: ВАРИФІКАЦІЯ ПРОГРАМИ


матиме такий вигляд: Що таке ВАРИФІКАЦІЯ ПРОГРАМИ