خرید و دانلود نسخه کامل کتاب Program Logics for Certified Compilers

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

Program Logics for Certified Compilers

نویسنده: Appel A.W., et al.

ناشر: CUP

سال انتشار: 2014

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

زبان: English

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

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