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

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

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

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783031453328, 3031453328 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031453311, 303145331X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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