دانلود کتاب Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings

49,000 تومان
روش شناسی جبری و فناوری نرم افزار: هفتمین کنفرانس بین المللی، AMAST'98 آمازون، برزیل، 4 تا 8 ژانویه 1999 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 540
حجم فایل 7 مگابایت
کد کتاب 3540654623,9783540654629
نوبت چاپ 1

دانلود کتاب Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

49,000 تومان
روش های رسمی و مهندسی نرم افزار: هشتمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2006، ماکائو، چین، 1-3 نوامبر 2006. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 792
حجم فایل 11 مگابایت
کد کتاب 3540474609,9783540474609
نوبت چاپ 1