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

مدل های رسمی هسته های سیستم عامل

Formal Models of Operating System Kernels

نویسنده: Iain D. Craig MA, PhD, FBCF, CITP (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2007

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

زبان: English

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

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