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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programming Language Foundations

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

مشخصات کتاب

Programming Language Foundations

دسته بندی: کامپیوتر
ویرایش: 1st 
نویسندگان: Aaron Stump  
سری:  
ISBN (شابک) : 9781118007471 
ناشر: Wiley 
سال نشر: 2013 
تعداد صفحات: 338 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 17 مگابایت

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

کلمات کلیدی مربوط به کتاب مبانی زبان برنامه نویسی: کتابخانه، ادبیات کامپیوتر

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

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

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

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

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

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

Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional.
Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics extensions to concurrent and non-deterministic versions operational semantics for untyped lambda calculus functional programming type systems and coverage of emerging topics and modern research directions.

فهرست مطالب

Cover......Page 1
Contents......Page 5
Preface......Page 13
Part I: Central Topics......Page 19
Chapter 1: Semantics of First-Order Arithmetic......Page 21
Chapter 2: Denotational Semantics of While......Page 45
Chapter 3: Axiomatic Semantics of While......Page 77
Chapter 4: Operational Semantics of While......Page 107
Chapter 5: Untyped Lambda Calculus......Page 137
Chapter 6: Programming in Untyped Lambda Calculus......Page 161
Chapter 7: Simple Type Theory......Page 179
Part II: Extra Topics......Page 217
Chapter 8: Nondeterminism and Concurrency......Page 219
Chapter 9: More on Untyped Lambda Calculus......Page 243
Chapter 10: Polymorphic Type Theory......Page 281
Chapter 11: Functional Programming......Page 297
Mathematical Background......Page 327
References......Page 333
Index......Page 336