خرید و دانلود نسخه کامل کتاب Formal Refinement of Operating System Kernels

اصلاح رسمی هسته های سیستم عامل

Formal Refinement of Operating System Kernels

نویسنده: Iain D. Craig

ناشر: Springer London Ltd, Springer Nature, London, 2007

سال انتشار: 2007

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

زبان: English

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

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