کتابخانه

کتابخانه

در صورتی که در دریافت فایل با مشکلی مواجه شدید، لطفاً از طریق ایمیل ( ketabfarsi01@gmail.com ) با ما در تماس باشید؛ در اسرع وقت پیگیری خواهد شد.

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings


Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)


مبلغ قابل پرداخت 50,000 تومان

توجه: پس از خرید فایل، لینک دانلود بصورت خودکار در اختیار شما قرار می گیرد و همچنین لینک دانلود به ایمیل شما ارسال می شود. درصورت وجود مشکل می توانید از بخش تماس با ما ی همین فروشگاه اطلاع رسانی نمایید.

Captcha
پشتیبانی خرید

برای مشاهده ضمانت خرید روی آن کلیک نمایید

  انتشار : ۱۵ اردیبهشت ۱۳۹۶               تعداد بازدید : 90

دیدگاه های کاربران (0)

ketabfarsi01@gmail.com

فید خبر خوان    نقشه سایت    تماس با ما