صورة الغلاف: Automated Technology for Verification and Analysis 9783319681665

Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2017
  • "ISBN-13 9783319681665"
  • شكل تنسيق قابل للتنسيق التلقائي

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎71.17 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783319681672, 3319681672 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319681665, 3319681664. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى