برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Practical Foundations for Programming Languages

دانلود کتاب مبانی عملی برای زبان های برنامه نویسی

مشخصات کتاب

Practical Foundations for Programming Languages

دسته بندی: برنامه نويسي
ویرایش: 2 
نویسندگان: Robert Harper  
سری:  
ISBN (شابک) : 1107150302, 9781107150300 
ناشر: Cambridge University Press 
سال نشر: 2016 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 مگابایت

قیمت کتاب (تومان) : 34,000

کلمات کلیدی مربوط به کتاب مبانی عملی برای زبان های برنامه نویسی: انفورماتیک و مهندسی کامپیوتر، انفورماتیک (برنامه نویسی)

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 10

در صورت تبدیل فایل کتاب Practical Foundations for Programming Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی عملی برای زبان های برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی عملی برای زبان های برنامه نویسی

این متن یک نظریه جامع از زبان های برنامه نویسی را بر اساس سیستم های نوع و معناشناسی عملیاتی ساختاری توسعه می دهد. مفاهیم زبان دقیقاً با معناشناسی ایستا و پویا تعریف می شوند و ابزارهای ضروری را هم به صورت شهودی و هم دقیق و در حالی که تنها بر ریاضیات ابتدایی تکیه می کنند، ارائه می دهند. این ابزارها برای تجزیه و تحلیل و اثبات ویژگی های زبان ها و ارائه چارچوبی برای ترکیب و مقایسه ویژگی های زبان استفاده می شوند. طیف وسیعی از مفاهیم شامل انواع داده های اساسی مانند مجموع و محصولات، انواع چند شکلی و انتزاعی، تایپ پویا، ارسال پویا، انواع فرعی و پالایش، نمادها و طبقه بندی پویا، موازی و معناشناسی هزینه، و همزمانی و توزیع است. این روش‌ها مستقیماً برای پیاده‌سازی زبان، توسعه منطق برای استدلال در مورد برنامه‌ها، و ویژگی‌های زبان تأیید رسمی مانند ایمنی نوع کاربرد دارند. این ویرایش دوم کاملاً اصلاح شده شامل تمرین‌هایی در پایان تقریباً هر فصل و فصل جدیدی در اصلاح نوع است.

توضیحاتی درمورد کتاب به خارجی

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.