دانلود کتاب Formal Refinement for Operating System Kernels
کتاب پالایش رسمی برای هسته های سیستم عامل نسخه زبان اصلی
دانلود کتاب پالایش رسمی برای هسته های سیستم عامل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Refinement for Operating System Kernels
نام کتاب : Formal Refinement for Operating System Kernels
ویرایش : 1
عنوان ترجمه شده به فارسی : پالایش رسمی برای هسته های سیستم عامل
سری :
نویسندگان : Iain D. Craig MA, PhD (auth.)
ناشر : Springer-Verlag London
سال نشر : 2007
تعداد صفحات : 342
ISBN (شابک) : 9781846289668 , 9781846289675
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.