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