دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

49,000 تومان
روش‌های رسمی برای سیستم‌های توزیع‌شده مبتنی بر شی باز: هشتمین کنفرانس بین‌المللی IFIP WG 6.1، FMOODS 2006، بولونیا، ایتالیا، 14-16 ژوئن، 2006. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 270
حجم فایل 4 مگابایت
کد کتاب 354034893X,9783540348931
نوبت چاپ 1

دانلود کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

49,000 تومان
روش های رسمی یکپارچه: هفتمین کنفرانس بین المللی، IFM 2009، دوسلدورف، آلمان، 16-19 فوریه، 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 367
حجم فایل 5 مگابایت
کد کتاب 3642002544,9783642002540
نوبت چاپ 1

دانلود کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

49,000 تومان
روش های رسمی یکپارچه: هفتمین کنفرانس بین المللی، IFM 2009، دوسلدورف، آلمان، 16-19 فوریه، 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 367
حجم فایل 11 مگابایت
کد کتاب 3642002544,9783642002540
نوبت چاپ 1