دانلود کتاب 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، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه بین المللی ترکیبی، 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
نام کتاب : 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
عنوان ترجمه شده به فارسی : رویکردهای رسمی به تست نرم افزار و تأیید زمان اجرا: اولین کارگاه بین المللی ترکیبی، FATES 2006 و RV 2006، سیاتل، WA، ایالات متحده آمریکا، 15-16 اوت 2006، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 4262 : Programming and Software Engineering
نویسندگان : Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2006
تعداد صفحات : 261
ISBN (شابک) : 9783540496991 , 3540496998
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی