Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>U=621.3.049.771-047.56(063)<.>)

Общее количество найденных документов : 1

004.38'12(063)/C81-005095

Correct hardware design and verification methods [Electronic resource] : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005: proceedings / ed. D. Borrione. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3725). - ISBN 978-3-540-32030-2 : Б. ц.

ГРНТИ	47.33.31
УДК	621.3.049.771-047.56(063)	621.3.049.771.14-048.24(063)

Рубрики: Интегральные схемы большие--Проектирование--Съезды и конференции
Интегральные схемы большие--Верификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Borrione, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)