Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=004.451.87<.>)
Общее количество найденных документов : 1
1.
004.451.87
C87

    Craig, I.
    Formal refinement for operating system kernels [Electronic resource] / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - ISBN 978-1-84628-967-5 : Б. ц.

ГРНТИ
50.41.15
УДК
004.451.87
Рубрики: Операционные системы

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)