Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики

Павлов, Евгений Геннадьевич. Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : диссертация ... кандидата технических наук : 05.13.11 / Павлов Евгений Геннадьевич; [Место защиты: Моск. гос. техн. ун-т радиотехники, электроники и автоматики].- Москва, 2013.- 231 с.: ил. РГБ ОД, 61 13-5/1388
Автор
Павлов, Евгений Геннадьевич
Год
2013

  • 99 000 UZS

Рекомендуем вам товары

Исследование и разработка методов и программных средств обеспечения интероперабельности в области электронного обучения (на примере Магнитогорского государственного технического университета имени Г.И. Носова)
99 000 UZS
Автор
Рубан Константин Алексеевич
Количество страниц
Год
2014
Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
99 000 UZS
Автор
Прищепа, Мария Викторовна
Количество страниц
Год
2013
Отладка и верификация функционально-потоковых параллельных программ
99 000 UZS
Автор
Удалова Юлия Васильевна
Количество страниц
Год
2014
Отображение DVMH-программ на кластеры с графическими процессорами
99 000 UZS
Автор
Притула Михаил Николаевич
Количество страниц
Год
2013
Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
99 000 UZS
Автор
Рябенко, Анна Андреевна
Количество страниц
Год
2013
Новостной блок
Модули для Opencart 2, Опенкарт 3