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

تعداد صفحات: 255 [261]

زبان: English

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

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

111,000 تومان 72,000 تومان