ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

دانلود کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفتمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP'98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

مشخصات کتاب

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 1381 
ISBN (شابک) : 3540643028, 9783540643029 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1998 
تعداد صفحات: 386 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت

قیمت کتاب (تومان) : 31,000



کلمات کلیدی مربوط به کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفتمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP'98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


در صورت تبدیل فایل کتاب Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفتمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP'98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان‌ها و سیستم‌های برنامه‌نویسی: هفتمین سمپوزیوم اروپایی برنامه‌نویسی، ESOP'98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.



این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم اروپایی برنامه نویسی، ESOP'98 است که به عنوان بخشی از کنفرانس مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS'98، در لیسبون، پرتغال، در مارس/آوریل 1998 برگزار شد.
این جلد 17 مقاله کامل اصلاح شده را ارائه می کند که از مجموع 59 مقاله ارسالی انتخاب شده اند. همچنین شامل یک مقاله دعوت شده است. از جمله موضوعاتی که به آنها پرداخته می شود، مشخصات و تأیید نرم افزار، پارادایم های برنامه نویسی، معناشناسی برای توسعه و پیاده سازی رسمی، تجزیه و تحلیل برنامه، تبدیل برنامه و غیره است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.



فهرست مطالب

Concurrent constraint programming based on functional programming....Pages 1-11
A bisimulation method for cryptographic protocols....Pages 12-26
A polyvariant binding-time analysis for off-line partial deduction....Pages 27-41
Verifiable and executable logic specifications of concurrent objects in $$\\mathcal{L}_\\pi$$ ....Pages 42-56
Complexity of concrete type-inference in the presence of exceptions....Pages 57-74
Synchronisation analysis to stop tupling....Pages 75-89
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems....Pages 90-104
Reasoning about classes in object-oriented languages: Logical models and tools....Pages 105-121
Language primitives and type discipline for structured communication-based programming....Pages 122-138
The functional imperative: Shape!....Pages 139-153
Code motion and code placement: Just synonyms?....Pages 154-169
Recursive object types in a logic of object-oriented programs....Pages 170-184
Mode-automata: About modes and states for reactive systems....Pages 185-199
From classes to objects via subtyping....Pages 200-220
Building a bridge between pointer aliases and program dependences....Pages 221-235
A complete declarative debugger of missing answers....Pages 236-251
Systematic change of data representation: Program manipulations and a case study....Pages 252-266
A generic framework for specialization (abridged version)....Pages 267-281




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی