برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Refinement of Operating System Kernels

دانلود کتاب اصلاح رسمی هسته های سیستم عامل

مشخصات کتاب

Formal Refinement of Operating System Kernels

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: Iain D. Craig  
سری:  
ISBN (شابک) : 1846289661, 9781846289668 
ناشر:  
سال نشر: 2007 
تعداد صفحات: 343 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 40,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 12

در صورت تبدیل فایل کتاب Formal Refinement of Operating System Kernels به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصلاح رسمی هسته های سیستم عامل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اصلاح رسمی هسته های سیستم عامل

هسته هر سیستم عامل مهم ترین جزء آن است، زیرا بقیه سیستم به آن بستگی دارد. این کتاب نشان می‌دهد که چگونه می‌توان مشخصات رسمی هسته‌ها را با یک فرآیند پالایش کاملاً رسمی دنبال کرد که منجر به استخراج کدهای اجرایی می‌شود. این فرآیند پالایش رسمی تضمین می کند که کد دقیقاً با مشخصات مطابقت دارد. نویسنده روند کامل، از جمله شواهد را مستند می کند.

توضیحاتی درمورد کتاب به خارجی

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.