خانه / تمامی کتاب‌ها / کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

دانلود کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Name: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Rating: 4.8 (11 reviews)
Author: Zhe Hou

دانلود کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

نویسنده: Zhe Hou

شماره سریال: ۳۰۳۰۸۷۸۸۲۱

ناشر: Springer Nature

سال: ۲۰۲۱

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۲۱ مگابایت

تعداد صفحات

None

قیمت کتاب: ۸۲,۹۰۰ تومان

توضیحات

معرفی کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

کتاب Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification نوشته Zhe Hou یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.