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