Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
1648
Купить
Краткое содержание:
Экранизация книги

Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Автор:
Мутилин Вадим Сергеевич
Год:
2012
Язык:
Русский
Страниц:
26
Коллекции:
Авторефераты
Описание:
Мутилин В.С. Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей> / Мутилин Вадим Сергеевич; Ин-т систем. программирования РАН. - Москва, 2012. - 26 с. : ил. ; 21 см. - Библиогр.: с. 25-26 (14 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 25-26 (14 назв.)
ББК:
32.973.202-018.2+32.973.26-018+32.973.26-018.1+32.973.26-018. 2
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2022-01-22 00:06:17
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Опросы
Эту книгу трудно достать?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Чапаєвка, библиотека
Киев город со специальным статусом, Київ, Голосіївський район
Ліснича, 3
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-17:00
chapbibl.blogspot.com
 +380 (44) 259-11-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №122 для дітей
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Парково-Сирецька, 11а
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +380 (44) 458-11-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Університет митної справи та фінансів
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Владимира Вернадского, 2/4
Расположение на карте
санитарный день: первая пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
umsf.dp.ua
 +380 (56) 756-05-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №184
Москва, Москва, Тёплый Стан район
Академика Варги, 38
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Facebook:  https://facebook.com/biblioteka184
 +7 (495) 339-51-55 +7 (495) 339-86-77 +7 (495) 337-05-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-42-42 +7 (495) 939-42-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Павловский Посад
Московская область, Павлово-Посадский район, рп. Большие Дворы
Крупской, 4
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Инстаграм:  https://instagram.com/bibliotpp
 +7 (496) 435-15-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Камчатская краевая детская библиотека им. В. Кручины
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Владивостокская, 16
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
knizhkindom.com
 +7 (4152) 42-14-43 +7 (4152) 42-16-89 +7 (4152) 20-42-96 +7 (4152) 42-14-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Анапская сельская библиотека
Краснодарский край, Анапа городской округ, ст-ца Анапская
Школьная, 60
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (86133) 7-18-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Дом офицеров Пермского гарнизона Минобороны России
Пермский край, Пермь городской округ, Пермь, Свердловский район, Центр
Сибирская, 59
Расположение на карте
Пн: 10:00-18:00
Вт: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (342) 281-58-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Старт, библиотечный центр
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №17 "Шувалово-Озерки"
Елизаветинская, 8
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
Вконтакте:  https://vk.com/bc_start
 +7 (812) 554-16-75
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Чапаєвка, библиотека
Киев город со специальным статусом, Київ, Голосіївський район
Ліснича, 3
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-17:00
chapbibl.blogspot.com
 +380 (44) 259-11-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №122 для дітей
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Парково-Сирецька, 11а
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +380 (44) 458-11-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Університет митної справи та фінансів
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Владимира Вернадского, 2/4
Расположение на карте
санитарный день: первая пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
umsf.dp.ua
 +380 (56) 756-05-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №184
Москва, Москва, Тёплый Стан район
Академика Варги, 38
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuzao.ru
Facebook:  https://facebook.com/biblioteka184
 +7 (495) 339-51-55 +7 (495) 339-86-77 +7 (495) 337-05-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
Расположение на карте
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
nbmgu.ru
 +7 (495) 939-42-42 +7 (495) 939-42-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система, г. Павловский Посад
Московская область, Павлово-Посадский район, рп. Большие Дворы
Крупской, 4
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Инстаграм:  https://instagram.com/bibliotpp
 +7 (496) 435-15-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Камчатская краевая детская библиотека им. В. Кручины
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Владивостокская, 16
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
knizhkindom.com
 +7 (4152) 42-14-43 +7 (4152) 42-16-89 +7 (4152) 20-42-96 +7 (4152) 42-14-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Анапская сельская библиотека
Краснодарский край, Анапа городской округ, ст-ца Анапская
Школьная, 60
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (86133) 7-18-57
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Дом офицеров Пермского гарнизона Минобороны России
Пермский край, Пермь городской округ, Пермь, Свердловский район, Центр
Сибирская, 59
Расположение на карте
Пн: 10:00-18:00
Вт: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
 +7 (342) 281-58-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Старт, библиотечный центр
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №17 "Шувалово-Озерки"
Елизаветинская, 8
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
Вс: 12:00-18:00
Вконтакте:  https://vk.com/bc_start
 +7 (812) 554-16-75
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.