Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Формальная верификация процессора с устройствами поддержки виртуальной памяти Далингер Яков

Формальная верификация процессора с устройствами поддержки виртуальной памяти
<
Формальная верификация процессора с устройствами поддержки виртуальной памяти Формальная верификация процессора с устройствами поддержки виртуальной памяти Формальная верификация процессора с устройствами поддержки виртуальной памяти Формальная верификация процессора с устройствами поддержки виртуальной памяти Формальная верификация процессора с устройствами поддержки виртуальной памяти
>

Данный автореферат диссертации должен поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - 240 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Далингер Яков. Формальная верификация процессора с устройствами поддержки виртуальной памяти : диссертация ... кандидата технических наук : 05.00.00 / Далингер Яков; [Место защиты: Ун-т Саарланда].- Саарбрюккен, 2006.- 152 с.: ил. РГБ ОД, 61 09-5/3001

Похожие диссертации на Формальная верификация процессора с устройствами поддержки виртуальной памяти