Current Trends In Hardware Verification And Automated Theorem Proving

التفاصيل البيبلوغرافية
المؤلف الرئيسي: G. Birtwistle, P A Subrahmanian
التنسيق: Printed Book
اللغة:English
منشور في: Springer-Verlag 1989

DCS

تفاصيل المقتنيات من DCS
رقم الطلب: 004.3
النسخة الحالة المباشرة غير متاحة

مواد مشابهة