دانلود کتاب Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (به فارسی: زبان‌ها و سیستم‌های برنامه‌نویسی: هفدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2008، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در مورد نظریه و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.) نوشته شده توسط «Scott Owens (auth.) – Sophia Drossopoulou (eds.)»
اطلاعات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2008، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در مورد نظریه و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Scott Owens (auth.) – Sophia Drossopoulou (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 402
حجم کتاب: 5 مگابایت
کد کتاب: 3540787380 , 9783540787389
نوبت چاپ: 1
توضیحات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2008، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در مورد نظریه و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.
این کتاب مجموعه مقالات داوری هفدهمین سمپوزیوم اروپایی برنامه نویسی، ESOP 2008، برگزار شده در بوداپست، مجارستان، در مارس/آوریل 2008، به عنوان بخشی از ETAPS 2008، کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار است.
25 مقاله کامل اصلاح شده ارائه شده همراه با چکیده یک سخنرانی دعوت شده و دو ارائه ابزار به دقت بررسی و از بین 104 مورد ارسالی انتخاب شدند و به مسائل اساسی در مشخصات، تجزیه و تحلیل و پیاده سازی زبان ها و سیستم های برنامه نویسی پرداختند. . مقالات در بخش های موضوعی در مورد تجزیه و تحلیل استاتیک، امنیت، همزمانی و تأیید برنامه سازماندهی شده اند.
This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.
The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.