دانلود کتاب Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

49,000 تومان
سیستم های معماری با اجزای قابل اعتماد: سمینار بین المللی، قلعه داگستول، آلمان، 12 تا 17 دسامبر 2004. مقالات منتخب اصلاح شده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 299
حجم فایل 4 مگابایت
کد کتاب 3540358005,9783540358008
نوبت چاپ 1

دانلود کتاب Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

49,000 تومان
رویکردهای رسمی به تست نرم افزار: چهارمین کارگاه بین المللی، FATES 2004، لینز، اتریش، 21 سپتامبر 2004، مقالات منتخب اصلاح شده
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 228
حجم فایل 2 مگابایت
کد کتاب 354025109X,9783540251095
نوبت چاپ 1

دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

49,000 تومان
روش های رسمی برای اجزا و اشیاء: پنجمین سمپوزیوم بین المللی، FMCO 2006، آمستردام، هلند، 7-10 نوامبر 2006، سخنرانی های تجدید نظر شده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 300
حجم فایل 3 مگابایت
کد کتاب 3540747915,9783540747918
نوبت چاپ 1