تأیید رسمی تدوین فقط به موقع
Formal Verification of Just-In-Time Compilation
نویسنده: Barrière, Aurèle;
ناشر: Morgan & Claypool Publishers
سال انتشار: 2025
زبان: English
فرمت: epub - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت
توضیحی برای این کتاب ثبت نشده است.