Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Летичевский А. А.
Парадигмы модельного и символьного тестирования программных систем

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  C. 31-44 
УДК:  519.686 

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т. 51. № 5 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2015.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика/519.6 Обчислювальна математика. Числовий аналіз