ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations for Programming Languages (Foundations of Computing)

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

Foundations for Programming Languages (Foundations of Computing)

مشخصات کتاب

Foundations for Programming Languages (Foundations of Computing)

دسته بندی: زبانشناسی
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 0262133210, 9780585037899 
ناشر:  
سال نشر: 1996 
تعداد صفحات: 854 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

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



ثبت امتیاز به این کتاب

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


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

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


توضیحاتی در مورد کتاب مبانی برنامه نویسی زبان (مبانی رایانه)

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


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

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی