خرید و دانلود نسخه کامل کتاب Programming with Higher-Order Logic

برنامه نویسی با منطق مرتبه بالاتر

Programming with Higher-Order Logic

نویسنده: Dale Miller, Gopalan Nadathur

ناشر: Cambridge University Press

سال انتشار: 2012

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

زبان: English

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

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