دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Denotational semantics: The Scott-Strachey approach to programming language theory
دانلود کتاب معناشناسی معنایی: رویکرد اسکات-استراچی به نظریه زبان برنامه نویسی
مشخصات کتاب
Denotational semantics: The Scott-Strachey approach to programming language theory
ویرایش:
نویسندگان: Stoy J.E.
سری:
ISBN (شابک) : 0262690764
ناشر: MIT
سال نشر: 1977
تعداد صفحات: 451
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Denotational semantics: The Scott-Strachey approach to programming language theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی معنایی: رویکرد اسکات-استراچی به نظریه زبان برنامه نویسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی معنایی: رویکرد اسکات-استراچی به نظریه زبان برنامه نویسی
"نخستین شرح کامل کتاب از رویکرد معنایی (یا "ریاضی" یا "عملکردی") به معناشناسی رسمی زبان های برنامه نویسی (برخلاف رویکردهای "عملیاتی" و "بدیهی"). انواع مختلف زبان ها را بررسی می کند، که با محاسبات لامبدا خالص و پیشرفت در زبان‌ها با حالت‌ها، فرمان‌ها، پرش‌ها و تکالیف. این گزارش تا حدودی گفتمانی مجموعه‌ای ارزشمند از نتایج است که در یک منبع واحد در دسترس نیست.»-- American Mathematical Monthly
توضیحاتی درمورد کتاب به خارجی
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source."-- American Mathematical Monthly
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Linear functional analysis
دانلود کتاب Relato de un náufrago
