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

دانلود کتاب Automatic Verification of Sequential Infinite-State Processes

49,000 تومان
تأیید خودکار فرآیندهای حالت نامحدود متوالی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 166
حجم فایل 937 کیلوبایت
کد کتاب 3540639829,9783540639824
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Automatic Verification of Sequential Infinite-State Processes

49,000 تومان
تأیید خودکار فرآیندهای حالت نامحدود متوالی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 166
حجم فایل 1 مگابایت
کد کتاب 3540639829,9783540639824
نوبت چاپ 1
افزودن به سبد خرید