در حال بارگذاری...
بازگشت
جستجوی هوشمند کالا یا خدمات
ورود
ثبت نام
کالای دیجیتال
موبایل
تبلت و کتابخوان
لپ تاپ
دوربین
کامپیوتر و تجهیزات جانبی
ماشین های اداری
ساعت و مچ بند هوشمند
لوازم جانبی کالای دیجیتال
سرویسهای اینترنت و سیمکارت
کنسول بازی
خودرو، ابزار و تجهیزات صنعتی
اتومبیل
لوازم جانبی خودرو
لوازم مصرفی خودرو
موتور سیکلت
لوازم جانبی موتور سیکلت
لوازم مصرفی موتور سیکلت
تجهیزات صنعتی و انبارداری
باغبانی و کشاورزی
ابزار غیر برقی
ابزار برقی و شارژی
مبلمان و دکوراسیون اداری
ماشین های اداری
مد و پوشاک
مردانه
زنانه
بچگانه
زنانه و مردانه
اسباب بازی، کودک و نوزاد
ایمنی و مراقبت
تغذیه و رشد کودک
پستانک و لوازم شیردهی
بهداشت و حمام
گردش و سفر
سرگرمی و آموزشی
خواب کودک
شوینده لباس کودک و نوزاد
زیبایی و سلامت
لوازم آرایشی
لوازم بهداشتی
لوازم شخصی برقی
عطر و ادکلن
ابزار سلامت
خانه و آشپزخانه
شستشو و نظافت
صوتی و تصویری
آشپزخانه
سرو و پذیرایی
حیوانات خانگی
لوازم خانگی برقی
دکوراتیو
خواب
اکسسوری لوازم شخصی
روشنایی و الکتریکی
فرش و گلیم
کتاب، لوازم تحریر و هنر
کتاب
مجلات و نقشه
لوازم تحریر
صنایع دستی
آلات موسیقی
موسیقی
فیلم
نرم افزار و بازی
محتوای آموزشی
مترجم و کتاب صوتی
محصولات مذهبی
ورزش و سفر
پوشاک ورزشی
لوازم ورزشی
دوچرخه و لوازم جانبی
لوازم سفر و کمپینگ
منو
صفحه اصلی
کالای دیجیتال
موبایل
تبلت و کتابخوان
لپ تاپ
دوربین
کامپیوتر و تجهیزات جانبی
ماشین های اداری
ساعت و مچ بند هوشمند
لوازم جانبی کالای دیجیتال
سرویسهای اینترنت و سیمکارت
کنسول بازی
خودرو، ابزار و تجهیزات صنعتی
اتومبیل
لوازم جانبی خودرو
لوازم مصرفی خودرو
موتور سیکلت
لوازم جانبی موتور سیکلت
لوازم مصرفی موتور سیکلت
تجهیزات صنعتی و انبارداری
باغبانی و کشاورزی
ابزار غیر برقی
ابزار برقی و شارژی
مبلمان و دکوراسیون اداری
ماشین های اداری
مد و پوشاک
مردانه
زنانه
بچگانه
زنانه و مردانه
اسباب بازی، کودک و نوزاد
ایمنی و مراقبت
تغذیه و رشد کودک
پستانک و لوازم شیردهی
بهداشت و حمام
گردش و سفر
سرگرمی و آموزشی
خواب کودک
شوینده لباس کودک و نوزاد
کالاهای سوپرمارکتی
کالاهای اساسی و خوار و بار
لبنیات
مواد پروتئینی و تخم مرغ
صبحانه
نوشیدنیهای سرد
کنسرو و غذای آماده
خشکبار و شیرینی
تنقلات
میوه و سبزیجات
گل طبیعی
قنادی
فینگر فود و پذیرایی
مکمل غذایی و دارویی
بهداشت شخصی
بهداشت خانگی
مادر و کودک
زیبایی و سلامت
لوازم آرایشی
لوازم بهداشتی
لوازم شخصی برقی
عطر و ادکلن
ابزار سلامت
خانه و آشپزخانه
شستشو و نظافت
صوتی و تصویری
آشپزخانه
سرو و پذیرایی
حیوانات خانگی
لوازم خانگی برقی
دکوراتیو
خواب
اکسسوری لوازم شخصی
روشنایی و الکتریکی
فرش و گلیم
کتاب، لوازم تحریر و هنر
کتاب
مجلات و نقشه
لوازم تحریر
صنایع دستی
آلات موسیقی
موسیقی
فیلم
نرم افزار و بازی
محتوای آموزشی
مترجم و کتاب صوتی
محصولات مذهبی
ورزش و سفر
پوشاک ورزشی
لوازم ورزشی
دوچرخه و لوازم جانبی
لوازم سفر و کمپینگ
محصولات بومی و محلی
خانه و کاشانه بومی محلی
پوشیدنی های بومی محلی
بازی و سرگرمی های بومی محلی
خوراکی های بومی محلی
ذخیرهشدهها
ورود
ثبت نام
گزارش مشکل
فروشگاه دیجیکالا
کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker اثر Wolfgang Schreiner انتشارات مؤلفین طلایی
مشاهده قیمت
به چه مشکلی برخوردید؟
قیمت اشتباه
ناموجود
محصول متفاوت
فریب در فروش
پیگیری بعد از خرید
اطلاعات یا هزینه
ارسال
اشتباه
تفاوت قیمت سایت و رتبه یک
سایر
مرحله بعد
توضیحات بیشتر
نام و نام خانوادگی
ایمیل
(اختیاری)
شماره تماس
(اختیاری)
ارسال گزارش
بازگشت
