Аникин, Александр Владимирович. - Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13 / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина). - Ленинград, 1989. - 16 с.
Карточка
Экспресс-заказ фрагмента
Аникин, Александр Владимирович.
Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13 / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина). - Ленинград, 1989. - 16 с.
Вычислительные машины, комплексы, системы и сети
Шифр хранения:
Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 05.13.13 / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина). - Ленинград, 1989. - 16 с.
Вычислительные машины, комплексы, системы и сети
Шифр хранения:
FB 9 89-8/3086-8
FB 9 89-8/3087-6
Описание
| Автор | Аникин, Александр Владимирович |
|---|---|
| Заглавие | Развитие и использование методов верификации проектов аппаратуры вычислительных машин : автореферат дис. ... кандидата технических наук : 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 | |
| Электронный адрес | Электронный ресурс |
