دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
دانلود کتاب روند اخیر در مشخصات مشخصات داده ها: 9th Workshop on Specification of Types of Abstract Data Joint with Workshop 4 COMPASS Caldes de Malavella، Spain، October 26-30، 1992 مقالات انتخاب شده
مشخصات کتاب
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
ویرایش: [1 ed.] نویسندگان: Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.) سری: Lecture Notes in Computer Science 785 ISBN (شابک) : 3540578676, 9783540578673 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 356 [360] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند اخیر در مشخصات مشخصات داده ها: 9th Workshop on Specification of Types of Abstract Data Joint with Workshop 4 COMPASS Caldes de Malavella، Spain، October 26-30، 1992 مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روند اخیر در مشخصات مشخصات داده ها: 9th Workshop on Specification of Types of Abstract Data Joint with Workshop 4 COMPASS Caldes de Malavella، Spain، October 26-30، 1992 مقالات انتخاب شده
تحقیق در زمینه انواع داده های انتزاعی حدود 20 سال پیش آغاز شد. از آن زمان تاکنون فعالیت مستمری با تأثیر قوی هم بر کاربردها و هم بر مبانی نظری روش‌شناسی برای طراحی نرم‌افزار وجود داشته است. نهمین کارگاه آموزشی در خصوص مشخصات انواع داده های انتزاعی به طور مشترک با چهارمین کارگاه COMPASS در اسپانیا در سال 1992 برگزار شد. مشخصات همزمانی این مجلد شامل چهار مقاله دعوت شده ارائه شده در کارگاه به همراه نسخه نهایی 17 مقاله ارائه شده پس از یک فرآیند داوری دقیق از 46 مقاله ارسالی است.
توضیحاتی درمورد کتاب به خارجی
Research in the area of abstract data types started about 20
years ago. Since then there has been continuous activity with
strong influence both on the applications and the theoretical
foundations of methodologies for software design. The Ninth
Workshop on Specification of Abstract Data Types was held
jointly with the Fourth COMPASS Workshop in Spain in
1992.
The main topics covered were: object-oriented specifications,
rewriting methods, specification languages and associated
tools, type systems, and algebraic specification of
concurrency. This volumes contains four invited papers
presented at the workshop together with the final versions of
17 contributed papers selected after a careful refereeing
process from 46 submissions.
