حول هذا المنتج
ملخص الكتاب يمثل هذا الكتاب أعمال المؤتمر المحكّم بدقة للمؤتمر الدولي الأول حول Runtime Verification، والمعروف باسم RV 2010، والذي عُقد في St Julians، مالطا، في نوفمبر 2010.
- المميزات
- يمثل هذا الكتاب أعمال المؤتمر الدولي الأول للتحقق أثناء التشغيل، RV 2010، الذي عُقد في سانت جوليانز، مالطا، في نوفمبر 2010، وهو خاضع لمراجعة دقيقة.
- المؤلفون: Howard Barringer & Ylies Falcone & Bernd Finkbeiner & Klaus Havelund & Insup Lee & Gordon Pace & Grigore Rosu & Oleg Sokolsky & Nikolai Tillmann
- 492 صفحة
- الحواسيب، وتطوير البرمجيات والهندسة
المواصفات
- الأبعاد (الإجمالية)
9.3 بوصة (ارتفاع) × 6.1 بوصة (عرض) × 1.1 بوصة (عمق)
- الوزن
1.67 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
492
- الفئة
أجهزة الكمبيوتر
- الفئة الفرعية
تطوير وهندسة البرمجيات
- الناشر
Springer
- الموضوع
عام
- التنسيق
غلاف ورقي
- المؤلف
Howard Barringer & Ylies Falcone & Bernd Finkbeiner & Klaus Havelund & Insup Lee & Gordon Pace & Grigore Rosu & Oleg Sokolsky & Nikolai Tillmann
- اللغة
الإنجليزية
صور المنتجات هي لأغراض توضيحية فقط وهي صور نموذجية. قد تختلف الألوان أو النقوش أو المواصفات أو الأبعاد أو المقاسات أو الوظائف أو أي خصائص أخرى للمنتج الفعلي عن الواقع بسبب خصائص العرض، لذا يرجى الرجوع إلى تفاصيل المنتج المذكورة في الوصف.