کتاب الکترونیکی

موضوعات پیشرفته در انواع و زبان های برنامه نویسی

Advanced topics in types and programming languages

دانلود کتاب Advanced topics in types and programming languages (به فارسی: موضوعات پیشرفته در انواع و زبان های برنامه نویسی) نوشته شده توسط «Benjamin C. Pierce»


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

موضوع اصلی: برنامه نويسي

نوع: کتاب الکترونیکی

ناشر: MIT Press

نویسنده: Benjamin C. Pierce

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 589

حجم کتاب: 10 مگابایت

کد کتاب: 0262162288 , 9780262162289

نوبت چاپ: 1

توضیحات کتاب موضوعات پیشرفته در انواع و زبان های برنامه نویسی

مطالعه سیستم‌های نوع برای زبان‌های برنامه‌نویسی اکنون بسیاری از حوزه‌های علوم کامپیوتر، از طراحی و پیاده‌سازی زبان گرفته تا مهندسی نرم‌افزار، امنیت شبکه، پایگاه‌های اطلاعاتی و تجزیه و تحلیل سیستم‌های همزمان و توزیع شده را در بر می‌گیرد. این کتاب مقدمه‌های قابل دسترس برای ایده‌های کلیدی در این زمینه را با مشارکت کارشناسان در هر موضوع ارائه می‌کند.


The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.

دانلود کتاب «موضوعات پیشرفته در انواع و زبان های برنامه نویسی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.