خرید و دانلود نسخه کامل کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

تأیید کامپایلر مدولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

نویسنده: Markus Müller-Olm (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1997

تعداد صفحات: 256

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت