دانلود کتاب Compiler Specification and Verification
کتاب مشخصات کامپایلر و تایید نسخه زبان اصلی
دانلود کتاب مشخصات کامپایلر و تایید بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Compiler Specification and Verification
نام کتاب : Compiler Specification and Verification
ویرایش : 1
عنوان ترجمه شده به فارسی : مشخصات کامپایلر و تایید
سری : Lecture Notes in Computer Science 124
نویسندگان : Wolfgang Polak (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1981
تعداد صفحات : 281
ISBN (شابک) : 3540108866 , 9783540108863
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
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
پست ها تصادفی