Тестирование на основе формальных спецификаций в процессах разработки программных комплексовдиссертация
-
Автор:
Петренко Александр Константинович
-
Дата защиты:
9 апреля 2003 года
-
Шифр диссертационного совета:
-
Организация:
Институт системного программирования РАН
-
Область знаний:
Физика и математика
-
Специальность:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
-
Тип диссертации:
Докторская
-
Организация, в которой выполнялась работа:
Институт системного программирования РАН
-
Добавил в систему:
Ильгова Мария Александровна