Fundamental Proof Methods in Computer Science: A Computer-Based Approach

خرید و دانلود نسخه کامل کتاب Fundamental Proof Methods in Computer Science: A Computer-Based Approach

روش‌های اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه

Fundamental Proof Methods in Computer Science: A Computer-Based Approach

نویسنده: Konstantine Arkoudas

ناشر: MIT Press

سال انتشار: 2017

تعداد صفحات: 1223

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 9 مگابایت

91,000 تومان 55,000 تومان