Аникин, Александр Владимирович - Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13

Аникин, Александр Владимирович.
Экспресс-заказ фрагмента
Аникин, Александр Владимирович.
Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13 / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина). - Ленинград, 1989. - 16 с.

Вычислительные машины, комплексы, системы и сети
Шифр хранения:
FB 9 89-8/3086-8
FB 9 89-8/3087-6

Marc21

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

Показать

Описание

Автор
ЗаглавиеРазвитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЕЭК 21.12.1989
Дата поступления в ЭБ 19.07.2021
Каталоги Авторефераты диссертаций
Сведения об ответственностиЛенингр. электротехн. ин-т им. В. И. Ульянова (Ленина)
Выходные данныеЛенинград, 1989
Физическое описание16 с.
ТемаВычислительные машины, комплексы, системы и сети
BBK-кодЗ97-02-5-05,0
ЯзыкРусский
Места храненияFB 9 89-8/3086-8
FB 9 89-8/3087-6
Электронный адрес Электронный ресурс