خرید و دانلود نسخه کامل کتاب Program Proofs

اثبات برنامه

Program Proofs

نویسنده: K. Rustan M. Leino

ناشر: The MIT Press

سال انتشار: 2023

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

زبان: English

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

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