Зведений каталог бібліотек Харкова
Бурдонова Формализация тестового эксперимента [Текст] / Институт системного программирования РАН // Программирование. — 2007. — С. 3-32.
- Анотація:
Статья посвящена формальным методам тестирования соответствия исследуемой системы заданным требованиям
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2007.
- Теми документа
