دانلود کتاب 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 |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.) |
| ISBN | 9783540496991, 3540496998 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 255 [261] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد