دانلود کتاب Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes … / Programming and Software Engineering)
روش جبری و فناوری نرم افزار: دوازدهمین کنفرانس بین المللی، AMAST 2008 Urbana، IL، ایالات متحده، 28-31 جولای، 2008، مجموعه مقالات (یادداشت های سخنرانی ... / برنامه نویسی و مهندسی نرم افزار)
موضوع اصلی | فن آوری |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer |
تعداد صفحه | 441 |
حجم فایل | 10 مگابایت |
کد کتاب | 9783540799795,3540799796 |
نوبت چاپ | 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 |
حجم فایل | 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 |