روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
نویسنده: Konstantine Arkoudas
ناشر: MIT Press
سال انتشار: 2017
تعداد صفحات: 1223
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 9 مگابایت