Вид документа : Однотомное издание Шифр издания : И-Ж/E91 Заглавие : The European conference on design automation: Proceedings : Brussels, Mar. 16-19, 1992 Выходные данные : Los Alamitos: IEEE Computer soc. press, 1992 Колич.характеристики :XX,569 p.: Ill. European conference on design automation (1992; Brussels) Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 567-569 ISBN, Цена 0-8186-2645-3: Б.ц. ГРНТИ : 50.51 ББК : Ж2с512я431 Предметные рубрики: Автоматизированное проектирование Дескрипторы: конф Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--формальные языки программирования Экземпляры :02(1) Свободны : 02(1)