ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

دانلود کتاب گرایش های اخیر در مشخصات نوع داده: سومین کارگاه تئوری و کاربرد انواع داده های انتزاعی مقالات برگزیده

Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

مشخصات کتاب

Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

ویرایش: 1 
نویسندگان: ,   
سری: Informatik-Fachberichte 116 
ISBN (شابک) : 9783540160779, 9783662096918 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1985 
تعداد صفحات: 262 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب گرایش های اخیر در مشخصات نوع داده: سومین کارگاه تئوری و کاربرد انواع داده های انتزاعی مقالات برگزیده: مهندسی نرم افزار، ساختار داده



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

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


در صورت تبدیل فایل کتاب Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب گرایش های اخیر در مشخصات نوع داده: سومین کارگاه تئوری و کاربرد انواع داده های انتزاعی مقالات برگزیده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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



فهرست مطالب

Front Matter....Pages N2-VII
Categorical Semantics, Or Extending Data Types to Include Memory....Pages 1-21
Algebraic (?) Specification of Conceptual Database Schemata....Pages 22-27
OBSCURE, A New Specification Language....Pages 28-30
Some Thoughts on Algebraic Specification....Pages 31-38
Implementation Specifications....Pages 39-53
The ASSPEGIQUE specification environment Motivations and Design....Pages 54-72
Towards Abstract User Interfaces for Formal System Specifications....Pages 73-88
A Final Algebra Semantics for Errors and Exceptions....Pages 89-103
OSI Transport Service Considered as an Abstract Data Type....Pages 104-118
Observational Specification: A Birkhoff-Theorem....Pages 119-135
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence....Pages 136-155
Transformation of Interface Specifications....Pages 156-170
Axiomatising Specification Theory....Pages 171-177
On the Algebraic Specification of Domains....Pages 178-195
Passing Compatibility is Almost Persistency....Pages 196-206
Automatic Prototyping of Algebraic Specifications using Prolog....Pages 207-223
Error Handling for Parameterized Data Types....Pages 224-239
Model Theory of Denotational Semantics....Pages 240-253




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