نمایش سایدبار
نمایش 12 24 36 همه
DJVU

دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

49,000 تومان
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
موضوع اصلی جبر
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 260
حجم فایل 2 مگابایت
کد کتاب 3540634061,9783540634065
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Variations on Constants: Flow Analysis of Sequential and Parallel Programs

49,000 تومان
تغییرات در ثابت ها: تحلیل جریان برنامه های متوالی و موازی
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 1 مگابایت
کد کتاب 3540453857,9783540453857
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Variations on Constants: Flow Analysis of Sequential and Parallel Programs

49,000 تومان
تغییرات در ثابت ها: تحلیل جریان برنامه های متوالی و موازی
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 3 مگابایت
کد کتاب 3540453857,9783540453857
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Variations on Constants: Flow Analysis of Sequential and Parallel Programs

49,000 تومان
تغییرات در ثابت ها: تحلیل جریان برنامه های متوالی و موازی
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 177
حجم فایل 2 مگابایت
کد کتاب 3540453857,9783540453857
نوبت چاپ 1
افزودن به سبد خرید