يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'G. Birtwistle, P A Subrahmanian', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1
    Current Trends In Hardware Verification And Automated Theorem Proving
    بواسطة G. Birtwistle, P A Subrahmanian
    منشور في 1989
    Printed Book
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني