دانلود کتاب Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

49,000 تومان
ریاضیات ساخت برنامه: پنجمین کنفرانس بین المللی، MPC 2000، پونت دی لیما، پرتغال، 3-5 ژوئیه، 2000 مجموعه مقالات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 262
حجم فایل 2 مگابایت
کد کتاب 3540677275,9783540677277
نوبت چاپ 1

دانلود کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

49,000 تومان
آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 4 مگابایت
کد کتاب 3642049117,9783642049118
نوبت چاپ 1

دانلود کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

49,000 تومان
آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 3 مگابایت
کد کتاب 3642049117,9783642049118
نوبت چاپ 1