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