کتاب الکترونیکی

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

Formal Models of Operating System Kernels

دانلود کتاب Formal Models of Operating System Kernels (به فارسی: مدل های رسمی هسته های سیستم عامل) نوشته شده توسط «Iain D. Craig»

اطلاعات کتاب مدل های رسمی هسته های سیستم عامل

موضوع اصلی: سیستم های عامل

نوع: کتاب الکترونیکی

ناشر: Springer

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

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2007

تعداد صفحه: 341

حجم کتاب: 2 مگابایت

کد کتاب: 9781846283758 , 1846283752

نوبت چاپ: 1

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

هدف این کتاب نشان دادن این است که اگر سیستم‌های عامل می‌خواهند به سطوحی از قابلیت اطمینان و امنیت که امروزه از آنها خواسته می‌شود دست یابند، تعیین رسمی هسته‌ها نه تنها ممکن است، بلکه ضروری است. مشخصات دنباله‌ای از هسته‌های با پیچیدگی فزاینده گنجانده شده‌اند، که به عنوان مدل‌هایی عمل می‌کنند تا طراح را قادر می‌سازد تا ویژگی‌های طرح را شناسایی و درباره آن استدلال کند، بنابراین آنچه را که اغلب به صورت ضمنی یا حتی ناشناخته باقی می‌ماند، آشکار می‌کند. مقدار قابل توجهی از استدلال گنجانده شده است، که نشان می دهد چه چیزی را می توان در مورد یک طرح استنباط کرد. و علاوه بر این، ویژگی‌های اساسی ساختارها و مکانیسم‌های داده مورد بحث قرار گرفته و ویژگی‌های آنها اثبات شده است. همچنین به عنوان یکی از جنبه‌های ضروری فعالیت، رابط‌های سخت‌افزار و فرآیندهای در حال اجرا بر روی آن‌ها گنجانده شده است. هنگام در نظر گرفتن هسته‌ها، بسیار آسان است که در مسائل پیچیدگی گرفتار شوید، اما این کتاب رویکرد تجویزی به جای توصیفی نشان می‌دهد که چگونه هسته یک سیستم عامل می تواند بر قابلیت اطمینان و عملکرد این سیستم ها به شیوه ای واضح و مختصر تأثیر بگذارد.

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design thus making explicit that which is too often left implicit or even unknown. A considerable amount of reasoning is included, showing what can be inferred about a design; and in addition, essential properties of data structures and mechanisms are discussed and the properties of these proved. Also included as an essential aspect of the activity, are the interfaces to the hardware and the processes running on them.It is very easy to get bogged down in complexity issues when considering kernels, but this books prescriptive rather than descriptive approach shows how the kernel of an operating system can affect both the reliability and performance of these systems in a clear and concise style.

دانلود کتاب «مدل های رسمی هسته های سیستم عامل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان