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