Вид документа : Однотомное издание Шифр издания : И-Ж/I.69 Заглавие : 1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers : Nov. 8-12, 1992, Santa Clara, California Выходные данные : Los Alamitos: IEEE Computer soc. press, 1992 Колич.характеристики :XXV,637 с.: Ill. Коллективы : International conference on computer-aided design (1992;Santa Clara, California.) Серия: IEEE publications/ Inst.of electrical and electronics engineers, ISSN 0149-144X; 92CHO3183-1 Примечания : Bibliogr. at the end of the art.Auth. ind.: p. 635-637 ISBN, Цена 0-8186-3010-8: Б.ц. ГРНТИ : 50.51 ББК : Ж2с512я431 Предметные рубрики: Автоматизированное проектирование Дескрипторы: конф.м Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--синтез--моделирование Экземпляры :02(1) Свободны : 02(1)