Али Абдул Амир Мохаммад. - Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : автореферат дис. ... кандидата технических наук : 05.13.13 / Гос. электротехн. ун-т. - Санкт-Петербург, 1994. - 16 с.
Карточка
Экспресс-заказ фрагмента
Али Абдул Амир Мохаммад.
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : автореферат дис. ... кандидата технических наук : 05.13.13 / Гос. электротехн. ун-т. - Санкт-Петербург, 1994. - 16 с.
Вычислительные машины, комплексы, системы и сети
Шифр хранения:
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : автореферат дис. ... кандидата технических наук : 05.13.13 / Гос. электротехн. ун-т. - Санкт-Петербург, 1994. - 16 с.
Вычислительные машины, комплексы, системы и сети
Шифр хранения:
FB 9 94-2/1859-1
FB 9 94-2/1860-5
Описание
Автор | Али Абдул Амир Мохаммад |
---|---|
Заглавие | Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : автореферат дис. ... кандидата технических наук : 05.13.13 |
Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
Коллекции ЭБ РГБ | Авторефераты |
Дата поступления в ЭК РГБ | 07.09.1994 |
Дата поступления в ЭБ РГБ | 25.06.2008 |
Каталоги | Авторефераты диссертаций |
Сведения об ответственности | Гос. электротехн. ун-т |
Выходные данные | Санкт-Петербург, 1994 |
Физическое описание | 16 с. |
Тема | Вычислительные машины, комплексы, системы и сети |
BBK-код | З973.2-021.1с116,0 |
Язык | Русский |
Места хранения | FB 9 94-2/1859-1 |
FB 9 94-2/1860-5 | |
Электронный адрес | Электронный ресурс |