ОСТАННІ НОВИНИ
| Бесплатное скачивание авторефератов |
| СКИДКА НА ДОСТАВКУ РАБОТ! |
| Увеличение числа диссертаций в базе |
| Снижение цен на доставку работ 2002-2008 годов |
| Доставка любых диссертаций из России и Украины |
ОСТАННІ ВІДГУКИ
Каталог / ТЕХНІЧНІ НАУКИ / Системний аналіз, управління та обробка інформації, статистика
скачать файл:
- Назва:
- Ермаков Антон Дмитриевич. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации
- Кількість сторінок:
- 200
- ВНЗ:
- ФГАОУВО Национальный исследовательский Томский государственный университет
- Рік захисту:
- 2017
- Короткий опис:
- Ермаков Антон Дмитриевич. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации: диссертация ... кандидата Технических наук: 05.13.01 / Ермаков Антон Дмитриевич;[Место защиты: ФГАОУВО Национальный исследовательский Томский государственный университет], 2017.- 144 с.
- Список літератури:
- -
- Стоимость доставки:
- 230.00 руб
