Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Кокорев, Василий Викторович
05.13.11
Кандидатская
2009
Москва
105 с. : ил.
Стоимость:
250 руб.
Диссертационная работа «Математическое и программное обеспечение структурного проектирования встраиваемых компьютерных систем», автор — Кокорев, Василий Викторович, относится к типу: кандидатская диссертация по специальности 05.13.11. Работа подготовлена в городе Москва в 2009 году. Объем работы: 105 с. : ил.. Внутренний код товара: 01004501758. На странице представлены основные сведения о диссертации, включая название, автора, год, город, тип работы и шифр специальности.
| Название работы | Автор | Дата защиты |
|---|---|---|
| Разработка методов обеспечения надежности цифровых систем управления современными авиационными комплексами | Воробьев, Александр Владимирович | 2004 |
| Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ | Игнатьев, Валерий Николаевич | 2015 |
| Формальная семантика C-LIGHT программ и их верификация методом Хоара | Промский, Алексей Владимирович | 2004 |