دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب High integrity compilation: a case study
دانلود کتاب جمع آوری یکپارچگی بالا: مطالعه موردی
مشخصات کتاب
High integrity compilation: a case study
ویرایش:
نویسندگان: Susan Stepney
سری:
ISBN (شابک) : 9780133810394, 0133810399
ناشر: Prentice Hall
سال نشر: 1993
تعداد صفحات: 183
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 767 کیلوبایت
قیمت کتاب (تومان) : 65,000
در صورت تبدیل فایل کتاب High integrity compilation: a case study به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جمع آوری یکپارچگی بالا: مطالعه موردی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جمع آوری یکپارچگی بالا: مطالعه موردی
این کتاب با نشان دادن مسیری برای مشخص کردن ریاضی و اجرای دقیق یک کامپایلر با اطمینان بالا مناسب برای استفاده در توسعه برنامههای کاربردی با یکپارچگی بالا، تکنیکهای مختلف مورد استفاده در هر مرحله از توسعه را توضیح میدهد و در کل توسط یک کامپایلر برای یک زبان دستوری کوچک نشان داده شده است. یک مجموعه دستورالعمل معمولی
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Evaluation of speciation technology : workshop proceedings, Tokai-mura, Ibaraki, Japan, 26-28 October, 1999.
