Павлов, Евгений Геннадьевич - Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11

Павлов, Евгений Геннадьевич.
Экспресс-заказ фрагмента
Павлов, Евгений Геннадьевич.
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики : автореферат дис. ... кандидата технических наук : 05.13.11 / Павлов Евгений Геннадьевич; [Место защиты: Моск. гос. техн. ун-т радиотехники, электроники и автоматики]. - Москва, 2013. - 21 с.

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Вычислительная техника -- Вычислительные машины электронные -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Программирование -- Операционные системы
верификации драйверов операционной системы Linux
Шифр хранения:
FB 9 13-2/2840

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеРазработка и применение метода верификации драйверов операционной системы 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
Электронный адрес Электронный ресурс