دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Compiler Specification and Verification
دانلود کتاب مشخصات کامپایلر و تایید
مشخصات کتاب
Compiler Specification and Verification
ویرایش: 1
نویسندگان: Wolfgang Polak (eds.)
سری: Lecture Notes in Computer Science 124
ISBN (شابک) : 3540108866, 9783540108863
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1981
تعداد صفحات: 281
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مشخصات کامپایلر و تایید: زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Compiler Specification and Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات کامپایلر و تایید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Introduction....Pages 1-27
Theoretical framework....Pages 28-50
Source and target languages....Pages 51-81
The compiler proof....Pages 82-137
Conclusions....Pages 138-145
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Late Quaternary Environmental Change: Physical and Human Perspectives, 2nd Edition
دانلود کتاب Clockwork Princess
دانلود کتاب Emotions Explained with Buff Dudes
دانلود کتاب NATO: The Power of Partnerships ()
