Current trends in hardware verification and automated theorem proving

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Current trends in
التنسيق: Printed Book
اللغة:English
منشور في: New York Springer-Verlag 1989
الموضوعات:
hardware verification > Computer hardware

UL

تفاصيل المقتنيات من UL
رقم الطلب: 621.3.049.77 BIR
النسخة الحالة المباشرة غير متاحة

مواد مشابهة