• التعليم وحلول الأعمال يفتح في نافذة جديدة

Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

صورة الغلاف: Verification, Model Checking, and Abstract Interpretation 9783030945824
  • الناشر
    Springer
  • شكل
    تنسيق قابل للتنسيق التلقائي
  • Print ISBN 9783030945824, 3030945820
  • eText ISBN 9783030945831, 3030945839
  • حقوق الطبع والنشر
    2022
إيجار كتاب دراسي إلكتروني أو شراؤه
‌‌
﷼‎115.38 SAR
‌

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verification, Model Checking, and Abstract Interpretation هي 9783030945831, 3030945839 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030945824, 3030945820. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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