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



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


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ


Доставка любой диссертации из России и Украины