Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

   Журнал

   Информационные технологии.
   № 3. - 2011.

1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  2. Читальный зал ауд.313, ГУК, ауд. 313

Содержание

с. 31-34
   Статья
Рудаков И. В., Ребриков А. В.
   Неполная верификация сложных дискретных систем / Рудаков И. В., Ребриков А. В.