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

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

Вычислительные машины, комплексы, системы и сети
верификация вычислительной техники
Шифр хранения:
OD 61 97-5/905-2

Marc21

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

Показать

Описание

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