دانلود کتاب Programming Languages and Systems — ESOP ’94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings (به فارسی: زبان‌ها و سیستم‌های برنامه‌نویسی — ESOP ’94: پنجمین سمپوزیوم اروپایی برنامه‌نویسی ادینبورگ، بریتانیا، 11 تا 13 آوریل، 1994 مجموعه مقالات) نوشته شده توسط «Martín Abadi – Luca Cardelli (auth.) – Donald Sannella (eds.)»
اطلاعات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی — ESOP ’94: پنجمین سمپوزیوم اروپایی برنامه‌نویسی ادینبورگ، بریتانیا، 11 تا 13 آوریل، 1994 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Martín Abadi – Luca Cardelli (auth.) – Donald Sannella (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 523
حجم کتاب: 5 مگابایت
کد کتاب: 3540578803 , 9783540578802
نوبت چاپ: 1
توضیحات کتاب زبان‌ها و سیستم‌های برنامه‌نویسی — ESOP ’94: پنجمین سمپوزیوم اروپایی برنامه‌نویسی ادینبورگ، بریتانیا، 11 تا 13 آوریل، 1994 مجموعه مقالات
این جلد شامل مقالات انتخاب شده برای ارائه در پنجمین سمپوزیوم اروپایی برنامه نویسی (ESOP ’94) است که به طور مشترک با نوزدهمین دوره آموزشی درختان در جبر و برنامه نویسی (CAAP ’94) در ادینبورگ در آوریل 1994 برگزار شد. به مسائل اساسی در مشخصات، طراحی و پیاده سازی زبان ها و سیستم های برنامه نویسی اختصاص دارد. دامنه سمپوزیوم شامل کار بر روی: تجزیه و تحلیل نرم افزار، مشخصات، تحول، توسعه و تایید / صدور گواهینامه. پارادایم های برنامه نویسی (عملکردی، منطقی، شی گرا، همزمان و غیره) و ترکیبات آنها. مفاهیم زبان برنامه نویسی، تکنیک های پیاده سازی و معناشناسی؛ متدولوژی های طراحی نرم افزار؛ رشته‌های تایپ و الگوریتم‌های تایپ و ابزارهای پشتیبانی برنامه نویسی.
This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP ’94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP ’94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.