Ар12-21106 Мутилин, В. С. Верификация драйверов операционной системы Linux при помощи предикатных абстракций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. С. Мутилин. - М., 2012. - 26 с. : ил. - Библиогр.: с. 25-26 (14 назв.) В надзаг.: Ин-т системного программированя Рос. акад. наук
Кл.слова (ненормированные): операционная система Linux -- драйверы -- верификация Экземпляры всего 1: ХР (1) Свободны: ХР (1) |