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