ПОСЛЕДНИЕ НОВОСТИ
| Бесплатное скачивание авторефератов |
| СКИДКА НА ДОСТАВКУ РАБОТ! |
| Авторские отчисления 70% |
| Снижение цен на доставку работ 2002-2008 годов |
| Акция - новый год вместе! |
ПОСЛЕДНИЕ ОТЗЫВЫ
Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
- Название:
- Лукин Михаил Андреевич. Верификация автоматных программ
- Кол-во страниц:
- 185
- ВУЗ:
- Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследователь
- Год защиты:
- 2014
- Краткое описание:
- Лукин Михаил Андреевич. Верификация автоматных программ: диссертация ... кандидата технических наук: 05.13.11 / Лукин Михаил Андреевич;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»].- Санкт-Петербург, 2014.- 185 с.
- Список литературы:
- -
- Стоимость доставки:
- 230.00 руб
