دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
دانلود کتاب روندهای اخیر در مشخصات نوع داده: هفتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی Wusterhausen/Dosse، آلمان، 17-20 آوریل، 1990 مجموعه مقالات
مشخصات کتاب
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
ویرایش: 1 نویسندگان: Guntis Barzdins (auth.), H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel (eds.) سری: Lecture Notes in Computer Science 534 ISBN (شابک) : 3540544968, 9783540544968 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 387 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب روندهای اخیر در مشخصات نوع داده: هفتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی Wusterhausen/Dosse، آلمان، 17-20 آوریل، 1990 مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در مشخصات نوع داده: هفتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی Wusterhausen/Dosse، آلمان، 17-20 آوریل، 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای اخیر در مشخصات نوع داده: هفتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی Wusterhausen/Dosse، آلمان، 17-20 آوریل، 1990 مجموعه مقالات
مشخصات جبری انواع داده های انتزاعی اکنون یک موضوع تحقیقاتی به خوبی در علوم کامپیوتر است. این حوزه هم بر کاربردها و هم بر مبانی نظری روش‌شناسی تأثیر می‌گذارد که از طراحی و توسعه رسمی نرم‌افزار قابل اعتماد پشتیبانی می‌کند. هفتمین کارگاه آموزشی در مورد مشخصات انواع داده های انتزاعی در Wusterhausen/Dosse، 17-20 آوریل 1990 برگزار شد و با همکاری گروه کاری تحقیقات پایه ESPRIT COMPASS سازماندهی شد. موضوعات اصلی تحت پوشش این کارگاه عبارت بودند از: - مدولارسازی - شی گرایی - انواع مرتبه بالاتر و انواع وابسته - تکمیل استقرایی - شبکه های سطح بالا جبری.
توضیحاتی درمورد کتاب به خارجی
The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.
فهرست مطالب
ADT implementation and completion by induction from examples....Pages 1-10
An association of Algebraic term nets and abstract data types for specifying real communication protocols....Pages 11-30
The specification language GSBL....Pages 31-51
Composition of algebraic high-level nets....Pages 52-73
A match operation for rule-based modular system design....Pages 74-97
Towards object-oriented algebraic specifications....Pages 98-116
Inductive completion for transformation of equational specifications....Pages 117-140
A notion of implementation for the specification language OBSCURE ....Pages 141-165
Model-theoretic specifications and back-and-forth equivalences....Pages 166-184
Universal algebra in higher types....Pages 185-203
Clausal rewriting: Applications and implementation....Pages 204-219
Constraints for behavioural specifications....Pages 220-245
Entities: An institution for dynamic systems....Pages 246-265
A 2-category approach to critical pair completion....Pages 266-273
A kernel specification formalism with higher-order parameterisation....Pages 274-296
Extended ML: Past, present and future....Pages 297-322
Dependent types considered necessary for specification languages....Pages 323-340
Generic types in a language for data directed design....Pages 341-361
Design of a compiler for lazy pattern driven narrowing....Pages 362-379
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Capitalist and the Activist: Corporate Social Activism and the New Business of Change
دانلود کتاب All Time Favorite Recipes from Pennsylvania Cooks (Regional Cooks)
دانلود کتاب GURPS 4th edition. Power-Ups 4: Enhancements
دانلود کتاب Best Dives of the Western Hemisphere (Hunter Travel Guides)
