• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 9783662452301

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

  • المؤلف (المؤلفون) Author
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2014
  • "ISBN-13 9783662452301"
  • شكل التنسيق المحدد

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

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

  • 4500 المعاهد

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications هي 9783662452318, 3662452316 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783662452301, 3662452308. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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