دانلود کتاب Semantics of programming languages (به فارسی: معناشناسی زبان های برنامه نویسی) نوشته شده توسط «R. D. Tennent»
اطلاعات کتاب معناشناسی زبان های برنامه نویسی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Prentice Hall
نویسنده: R. D. Tennent
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 236
حجم کتاب: 4 مگابایت
کد کتاب: 9780138056070 , 0138056072
توضیحات کتاب معناشناسی زبان های برنامه نویسی
این متن جامع به معرفی تحلیل معنایی زبان های برنامه نویسی و منطق برنامه نویسی می پردازد. رویکردهای معنایی، عملیاتی و بدیهی و روابط بین آنها را در چارچوبی واحد مورد بحث قرار می دهد. این متن که حول تجزیه و تحلیل سه زبان سازماندهی شده است – زبان دستوری ساده دستورهای while، یک زبان کاربردی ساده مبتنی بر حساب تایپ شده لامبدا، و یک زبان شبیه به الگول که بسط زبان های ساده است، روش های نحوی و معنایی مناسب را مورد بحث قرار می دهد. زبان های تایپ شده همچنین مقدمههای مستقلی برای استنتاج طبیعی، نظریه حوزه، و نظریه مقوله، و بحث در مورد تکنیکهای مدرن جهانهای ممکن وجود دارد.
دانلود کتاب «معناشناسی زبان های برنامه نویسی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.