دانلود کتاب Types and Programming Languages (به فارسی: انواع و زبان های برنامه نویسی) نوشته شده توسط «Benjamin C. Pierce»
اطلاعات کتاب انواع و زبان های برنامه نویسی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: The MIT Press
نویسنده: Benjamin C. Pierce
زبان: English
فرمت کتاب: chm (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 645
حجم کتاب: 5 مگابایت
کد کتاب: 0262162091 , 9780262162098 , 9780585442693
نوبت چاپ: 1
توضیحات کتاب انواع و زبان های برنامه نویسی
یک سیستم نوع یک روش نحوی برای بررسی خودکار عدم وجود برخی رفتارهای اشتباه با طبقه بندی عبارات برنامه بر اساس انواع مقادیری است که آنها محاسبه می کنند. مطالعه سیستمهای نوع – و زبانهای برنامهنویسی از دیدگاه تئوری نوع – کاربردهای مهمی در مهندسی نرمافزار، طراحی زبان، کامپایلرهای با کارایی بالا و امنیت دارد. این متن مقدمهای جامع برای سیستمهای تایپ در علوم کامپیوتر و به نظریه پایه زبان های برنامه نویسی رویکرد عملی و عملیاتی است. هر مفهوم جدید با مثالهای برنامهنویسی انگیزه میگیرد و بخشهای نظری بیشتر بر اساس نیازهای پیادهسازی هدایت میشوند. هر فصل با تمرینها و راهحلهای متعدد و همچنین پیادهسازی در حال اجرا از طریق وب در دسترس است. وابستگیهای بین فصلها به وضوح مشخص میشوند و به خوانندگان این امکان را میدهند تا مسیرهای مختلفی را از طریق مطالب انتخاب کنند.
دانلود کتاب «انواع و زبان های برنامه نویسی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.