دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Eric G. Wagner (auth.), Hans-Jörg Kreowski (eds.) سری: Informatik-Fachberichte 116 ISBN (شابک) : 9783540160779, 9783662096918 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1985 تعداد صفحات: 262 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب گرایش های اخیر در مشخصات نوع داده: سومین کارگاه تئوری و کاربرد انواع داده های انتزاعی مقالات برگزیده: مهندسی نرم افزار، ساختار داده
در صورت تبدیل فایل کتاب 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