دانلود کتاب Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings (به فارسی: زبان‌ها و سیستم‌های برنامه‌نویسی: شانزدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2007، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عملکرد نرم‌افزار، ETAPS 2007، براگا، پرتغال، 24 مارس – 1 آوریل 2007 برگزار شد.) نوشته شده توسط «Andrew Pitts (auth.) – Rocco De Nicola (eds.)»
اطلاعات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: شانزدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2007، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عملکرد نرم‌افزار، ETAPS 2007، براگا، پرتغال، 24 مارس – 1 آوریل 2007 برگزار شد.
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Andrew Pitts (auth.) – Rocco De Nicola (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 542
حجم کتاب: 6 مگابایت
کد کتاب: 354071314X , 9783540713142
نوبت چاپ: 1
توضیحات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: شانزدهمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP 2007، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عملکرد نرم‌افزار، ETAPS 2007، براگا، پرتغال، 24 مارس – 1 آوریل 2007 برگزار شد.
این کتاب مجموعه مقالات داوری شانزدهمین سمپوزیوم اروپایی در زمینه برنامه نویسی، ESOP 2007، در براگا، پرتغال در مارس/آوریل 2007 به عنوان بخشی از ETAPS 2007، کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار است.
34 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 1 سخنرانی دعوت شده به دقت بررسی و از بین 136 مورد ارسالی انتخاب شدند و به مسائل اساسی در مشخصات، تجزیه و تحلیل و پیاده سازی زبان ها و سیستم های برنامه نویسی پرداختند. این مقالات در بخش‌های موضوعی در مورد مدل‌ها و زبان‌های خدمات وب، تأیید، بازنویسی اصطلاحات، امنیت مبتنی بر زبان، منطق و اثبات صحت، تجزیه و تحلیل استاتیک و تفسیر انتزاعی، نظریه‌های معنایی برای زبان‌های شی گرا، تکنیک‌های جبری فرآیند، برنامه‌نویسی کاربردی و انواع برای ویژگی های سیستم.
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.
The 34 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 136 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and systems. The papers are organized in topical sections on models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.