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

گردآوری با یکپارچگی بالا: مطالعه موردی

High integrity compilation: a case study

دانلود کتاب High integrity compilation: a case study (به فارسی: گردآوری با یکپارچگی بالا: مطالعه موردی) نوشته شده توسط «Susan Stepney»

اطلاعات کتاب گردآوری با یکپارچگی بالا: مطالعه موردی

موضوع اصلی: 1

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

ناشر: Prentice Hall

نویسنده: Susan Stepney

زبان: English

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

سال انتشار: 1993

تعداد صفحه: 183

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

کد کتاب: 9780133810394 , 0133810399

توضیحات کتاب گردآوری با یکپارچگی بالا: مطالعه موردی

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

Illustrating a route for mathematically specifying and rigorously implementing a high assurance compiler suitable for use in developing high integrity applications, this book explains the various techniques used at each stage of the development, and is illustrated throughout by a compiler for a small imperative language, targeting a typical instruction set.

دانلود کتاب «گردآوری با یکپارچگی بالا: مطالعه موردی»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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