High integrity compilation : a case study

Susan Stepney

قیمت نهایی

۴۰٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۸٪ تخفیف

تخفیف زمان‌دار−۹٬۰۰۰ تومان

۹٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

نسخه اصلی و اورجینال

فایل دیجیتال کامل و بدون دستکاری — همان نسخه‌ای که پس از خرید دریافت می‌کنید.

مشخصات کتاب

نویسنده: Susan Stepney
سال انتشار: ۱۹۹۳
فرمت: PDF
زبان: انگلیسی
حجم فایل: ۸۱۹٫۲ کیلوبایت
شابک: 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.

کتاب‌های مشابه

Integrated Pharmacy Case Studies

۴۹٬۰۰۰ تومان

Integrated Case Studies for Foundation Programmes

۴۹٬۰۰۰ تومان

High Integrity

۴۹٬۰۰۰ تومان

Evolutionary biogeography : an integrative approach with case studies

۴۹٬۰۰۰ تومان

Evolutionary biogeography : an integrative approach with case studies

۴۹٬۰۰۰ تومان

Ethics, Integrity and Policymaking : The Value of the Case Study

۴۹٬۰۰۰ تومان

Work-Life Integration : Case Studies of Organisational Change

۴۹٬۰۰۰ تومان

Work-Life Integration : Case Studies of Organisational Change

۴۹٬۰۰۰ تومان

Work-Life Integration : Case Studies of Organisational Change

۴۹٬۰۰۰ تومان

High-Integrity Software

۴۹٬۰۰۰ تومان

A Cold Case On High

۴۹٬۰۰۰ تومان

Multimethod Research, Causal Mechanisms, and Case Studies : An Integrated Approach

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۰٬۰۰۰ تومان

چه کسانی این کتاب را می‌خوانند

High integrity compilation : a case study

مشخصات کتاب

دربارهٔ کتاب

کتاب‌های مشابه