دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 نویسندگان: 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 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب گرایش های اخیر در مشخصات نوع داده: سومین کارگاه تئوری و کاربرد انواع داده های انتزاعی مقالات برگزیده: مهندسی نرم افزار، ساختار داده
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Comprehensive Hard Materials volume 1 Hardmetals
دانلود کتاب Modern Well Test Analysis: A Computer Aided Approach
دانلود کتاب Energy Policies of IEA Countries: Belgium 2001
دانلود کتاب Mendel’s Principles of Heredity: A Defence, with a Translation of Mendel’s Original Papers on Hybridisation
