صورة الغلاف: Deductive Software Verification: Future Perspectives 1st edition 9783030643539

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

1st الإصدار

  • المؤلف (المؤلفون) Wolfgang Ahrendt
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2020
  • "ISBN-13 9783030643539"
  • شكل تنسيق قابل للتنسيق التلقائي

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 1st الإصدار تمت الكتابة بواسطة Wolfgang Ahrendt وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Deductive Software Verification: Future Perspectives هي 9783030643546, 3030643549 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030643539, 3030643530. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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