• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Formal Approaches to Software Testing and Runtime Verification 1st edition 9783540496991

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

1st الإصدار

  • المؤلف (المؤلفون) Klaus Havelund; ‎Manuel Núnez; ‎Grigore Rosu
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2006
  • ISBN-13 9783540496991
  • شكل التنسيق المحدد

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

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

  • 4500 المعاهد

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

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

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

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Klaus Havelund; ‎Manuel Núnez; ‎Grigore Rosu وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Approaches to Software Testing and Runtime Verification هي 9783540497035, 354049703X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540496991, 3540496998. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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