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

Карточка

Аникин, Александр Владимирович.

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

Marc21

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

Показать

Описание

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