Верификация драйверов операционной системы Linux при помощи предикатных абстракций

Мутилин, Вадим Сергеевич. Верификация драйверов операционной системы Linux при помощи предикатных абстракций : диссертация ... кандидата физико-математических наук : 05.13.11 / Мутилин Вадим Сергеевич; [Место защиты: Ин-т систем. программирования].- Москва, 2012.- 141 с.: ил. РГБ ОД, 61 12-1/1296
Автор
Мутилин, Вадим Сергеевич
Год
2012

  • 99 000 UZS

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

Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем
99 000 UZS
Автор
Новиков, Дмитрий Борисович
Количество страниц
Год
2012
Математическое и программное обеспечение интеграции независимых информационных систем образовательного учреждения в единый гетерогенный информационный комплекс
99 000 UZS
Автор
Ордынцев, Павел Анатольевич
Количество страниц
Год
2012
Технология интеграции данных в гетерогенных корпоративных программных комплексах
99 000 UZS
Автор
Зыков, Сергей Викторович
Количество страниц
Год
2012
Разработка математического и программного обеспечения национального удостоверяющего центра для "электронного правительства" Социалистической Республики Вьетнам
99 000 UZS
Автор
Чан Конг Тан
Количество страниц
Год
2012
Методы вычисления оценок уверенности формально построенных выводов
99 000 UZS
Автор
Моросанова, Наталья Александровна
Количество страниц
Год
2013
Новостной блок
Модули для Opencart 2, Опенкарт 3