خرید و دانلود نسخه کامل کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

مبانی منطق و محاسبات: با استدلال و تأیید خودکار عملی (متون در علوم کامپیوتر)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

نویسنده: Zhe Hou

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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