دانلود کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی، FATES 2005، ادینبورگ، انگلستان، 11 جولای 2005، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 219 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540344543,9783540344544 |
| نوبت چاپ | 1 |
دانلود کتاب Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
روش های رسمی یکپارچه: دومین کنفرانس بین المللی، IFM 2000 قلعه داگستول، آلمان، 1 تا 3،2000 نوامبر مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 446 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540411968,9783540411963 |
| نوبت چاپ | 1 |