Formal Verification of Just-In-Time Compilation

خرید و دانلود نسخه کامل کتاب Formal Verification of Just-In-Time Compilation

تأیید رسمی تدوین فقط به موقع

Formal Verification of Just-In-Time Compilation

نویسنده: Barrière, Aurèle;

ناشر: Morgan & Claypool Publishers

سال انتشار: 2025

زبان: English

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

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

106,000 تومان 76,000 تومان