خرید و دانلود نسخه کامل کتاب Handbook of Logic and Proof Techniques for Computer Science

راهنمای منطق و تکنیک های اثبات برای علوم کامپیوتر

Handbook of Logic and Proof Techniques for Computer Science

نویسنده: Steven G. Krantz (auth.)

ناشر: Birkhäuser Basel

سال انتشار: 2002

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

زبان: English

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

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