Павлов, Евгений Геннадьевич - Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11
Карточка
Экспресс-заказ фрагмента
Павлов, Евгений Геннадьевич.
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11 / Павлов Евгений Геннадьевич; [Место защиты: Моск. гос. техн. ун-т радиотехники, электроники и автоматики]. - Москва, 2013. - 21 с.
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Вычислительная техника -- Вычислительные машины электронные -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Программирование -- Операционные системы
верификации драйверов операционной системы Linux
Шифр хранения:
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11 / Павлов Евгений Геннадьевич; [Место защиты: Моск. гос. техн. ун-т радиотехники, электроники и автоматики]. - Москва, 2013. - 21 с.
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Вычислительная техника -- Вычислительные машины электронные -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Программирование -- Операционные системы
верификации драйверов операционной системы Linux
Шифр хранения:
FB 9 13-2/2840
Описание
Автор | Павлов, Евгений Геннадьевич |
---|---|
Заглавие | Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11 |
Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
Коллекции ЭБ РГБ | Авторефераты |
Дата поступления в ЭК РГБ | 11.06.2013 |
Дата поступления в ЭБ РГБ | 22.07.2013 |
Каталоги | Авторефераты диссертаций |
Сведения об ответственности | Павлов Евгений Геннадьевич; [Место защиты: Моск. гос. техн. ун-т радиотехники, электроники и автоматики] |
Выходные данные | Москва, 2013 |
Физическое описание | 21 с. |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей |
Вычислительная техника -- Вычислительные машины электронные -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Программирование -- Операционные системы | |
Термины-указатели | верификации драйверов операционной системы Linux |
BBK-код | З973.26-018.2,0 |
Специальность | 05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей |
Язык | Русский |
Места хранения | FB 9 13-2/2840 |
Электронный адрес | Электронный ресурс |