لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • 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
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

خرید و دانلود نسخه کامل کتاب 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

رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه های بین المللی ترکیبی ، FATES 2006 و RV 2006 ، سیاتل ، WA ، ایالات متحده ، 15-16 اوت 2006 ، نسخه های تجدید نظر شده

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

نویسنده: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 261

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت

114,000 تومان 75,000 تومان