دانلود کتاب CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

49,000 تومان
CONCUR 2002 — تئوری همزمانی: سیزدهمین کنفرانس بین المللی برنو، جمهوری چک، 20 تا 23 اوت 2002 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 609
حجم فایل 5 مگابایت
کد کتاب 3540440437,9783540440437
نوبت چاپ 1

دانلود کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

49,000 تومان
رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی، FATES 2005، ادینبورگ، انگلستان، 11 جولای 2005، مقالات منتخب اصلاح شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 219
حجم فایل 2 مگابایت
کد کتاب 3540344543,9783540344544
نوبت چاپ 1

دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

49,000 تومان
نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 263
حجم فایل 4 مگابایت
کد کتاب 3642161634,9783642161636
نوبت چاپ 1