|
Вид документа : Однотомное издание Шифр издания : АР94-4938
Автор(ы) : Али А.Мохаммад.
Заглавие : Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13
Выходные данные : СПб, 1994 Колич.характеристики :16 с.
Примечания : В надзаг.: С.-Петербург.гос.электротехн.ун-т им.В.И.Ульянова (Ленина). Библиогр.: с.16 (3 назв.)
ГРНТИ : 50.33.14 УДК : 004.38'12(043)
Экземпляры :ХР(1) Свободны : ХР(1)
|
|