Харитонов, Михаил Юрьевич - Параллельные алгоритмы и методы верификации аппаратных средств вычислительной техники : диссертация ... кандидата технических наук : 05.13.13

Карточка

Харитонов, Михаил Юрьевич.

Параллельные алгоритмы и методы верификации аппаратных средств вычислительной техники : диссертация ... кандидата технических наук : 05.13.13. - Санкт-Петербург, 1997. - 130 с.
Вычислительные машины, комплексы, системы и сети
верификация вычислительной техники
OD 61 97-5/905-2

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеПараллельные алгоритмы и методы верификации аппаратных средств вычислительной техники : диссертация ... кандидата технических наук : 05.13.13
Дата поступления в ЭК 09.10.1997
Каталоги Диссертации
Выходные данныеСанкт-Петербург, 1997
Физическое описание130 с.
ТемаВычислительные машины, комплексы, системы и сети
верификация вычислительной техники
BBK-кодЗ973.2-021.1с116,0
ЯзыкРусский
Места храненияOD 61 97-5/905-2