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) Свободных экз. нет