Подробное описание документа
Журнал
Информационные технологии.
№ 3. - 2011.
1 экз.
Вы можете получить данный документ в одном из следующих отделов
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313
Содержание
с. 31-34
Статья
Рудаков И. В., Ребриков А. В.
Неполная верификация сложных дискретных систем / Рудаков И. В., Ребриков А. В.
Неполная верификация сложных дискретных систем / Рудаков И. В., Ребриков А. В.