دانلود کتاب 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، مقالات منتخب اصلاح شده
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 255 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 9783540496991,3540496998 |
| نوبت چاپ | 1 |
دانلود کتاب 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، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 255 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540496998,9783540496991 |
| نوبت چاپ | 1 |
دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
دانلود کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
دانلود کتاب SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 – September 1, 2000. Proceedings
بررسی مدل اسپین و تأیید نرمافزار: هفتمین کارگاه بینالمللی اسپین، استنفورد، کالیفرنیا، ایالات متحده آمریکا، 30 اوت - 1 سپتامبر 2000. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 346 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540410309,9783540410300 |
| نوبت چاپ | 1 |