کامپیوترها

زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل … علوم کامپیوتر و مسائل عمومی)

Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice ... Computer Science and General Issues)

دانلود کتاب Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice … Computer Science and General Issues) (به فارسی: زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل … علوم کامپیوتر و مسائل عمومی)) نوشته شده توسط «Andrew Gordon»


اطلاعات کتاب زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل … علوم کامپیوتر و مسائل عمومی)

موضوع اصلی: کامپیوترها

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

ناشر: Springer

نویسنده: Andrew Gordon

زبان: English

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

سال انتشار: 2010

تعداد صفحه: 645

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

کد کتاب: 3642119565 , 9783642119569

نوبت چاپ: 1st Edition.

توضیحات کتاب زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل … علوم کامپیوتر و مسائل عمومی)

این کتاب مجموعه مقالات داوری نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانس مشترک اروپایی در نظریه و عمل نرم افزار، برگزار شد. 30 مقاله کامل اصلاح شده، همراه با دو سخنرانی دعوت شده (یک چکیده و یکی کامل)، به دقت بررسی و از بین 121 مقاله ارسالی کامل انتخاب شدند. موضوعات مورد بحث شامل پارادایم ها و سبک های برنامه نویسی، روش ها و ابزارهایی برای نوشتن و مشخص کردن برنامه ها و زبان ها، روش ها و ابزارهایی برای استدلال در مورد برنامه ها، روش ها و ابزارهای پیاده سازی و همزمانی و توزیع است.


This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

دانلود کتاب «زبان ها و سیستم های برنامه نویسی: نوزدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2010، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل … علوم کامپیوتر و مسائل عمومی)»

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