Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: Advanced Research Working Conference on Correct Hardware Design Methodologies, Frankfurt/Main, Germany
مؤلفون آخرون: Camurati, Paolo, Eveking, Hans
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer, c1995.
سلاسل:Lecture notes in computer science ; 987.
الموضوعات:
Integrated circuits > Very large scale integration > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
الوصف
وصف مادي:viii, 342 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references.
ردمك:3540603859

مواد مشابهة