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