دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 44,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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Physical Processes in Radiation Biology. Proceedings of an International Symposium Sponsored by the U.S. Atomic Energy Commission and Held at the Kellogg Center for Continuing Education, Michigan State University, on May 6–8, 1963
دانلود کتاب How to Create the Perfect Wife: Britain’s Most Ineligible Bachelor and his Enlightened Quest to Train the Ideal Mate
دانلود کتاب My Name is Evil (The Nightmare Room #3)
دانلود کتاب Zahlen und Größen 10. Schuljahr - Nordrhein-Westfalen Kernlehrpläne - Grundkurs - Schülerbuch
