دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
دانلود کتاب زبان‌ها و سیستم‌های برنامه‌نویسی — ESOP '94: پنجمین سمپوزیوم اروپایی برنامه‌نویسی ادینبورگ، بریتانیا، 11 تا 13 آوریل، 1994 مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.) سری: Lecture Notes in Computer Science 788 ISBN (شابک) : 3540578803, 9783540578802 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 523 [525] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان‌ها و سیستم‌های برنامه‌نویسی — ESOP '94: پنجمین سمپوزیوم اروپایی برنامه‌نویسی ادینبورگ، بریتانیا، 11 تا 13 آوریل، 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان‌ها و سیستم‌های برنامه‌نویسی — 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.
