دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
دانلود کتاب روند اخیر در تکنیک های توسعه جبری: 20 کارگاه آموزشی بین المللی، WADT 2010، Etelsen، Germany، 1-4 ژوئیه 2010، مقالات منتخب بازبینی شده
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
ویرایش: 1 نویسندگان: Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.) سری: Lecture Notes in Computer Science 7137 ISBN (شابک) : 9783642284113, 9783642284120 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 311 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب روند اخیر در تکنیک های توسعه جبری: 20 کارگاه آموزشی بین المللی، WADT 2010، Etelsen، Germany، 1-4 ژوئیه 2010، مقالات منتخب بازبینی شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات محاسبات، نظریه محاسبات، محاسبات با دستگاه های انتزاعی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند اخیر در تکنیک های توسعه جبری: 20 کارگاه آموزشی بین المللی، WADT 2010، Etelsen، Germany، 1-4 ژوئیه 2010، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روند اخیر در تکنیک های توسعه جبری: 20 کارگاه آموزشی بین المللی، WADT 2010، Etelsen، Germany، 1-4 ژوئیه 2010، مقالات منتخب بازبینی شده
این کتاب مجموعه مقالات پس از کنفرانس بیستمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2010 است که در ژوئیه 2010 در Etelsen، آلمان برگزار شد. 15 مقاله اصلاح شده ارائه شده با دقت بررسی و از بین 32 ارائه انتخاب شدند. این کارگاه به موضوعات زیر می پردازد: مبانی مشخصات جبری. سایر رویکردها برای مشخصات رسمی از جمله محاسبات فرآیند و مدل های محاسبات همزمان، توزیع شده و سیار. زبان ها، روش ها و محیط های مشخصات؛ معناشناسی روش ها و تکنیک های مدل سازی مفهومی؛ توسعه مدل محور؛ تبدیل نمودار، بازنویسی اصطلاح و سیستم های اثبات. ادغام تکنیک های مشخصات رسمی؛ تست رسمی و اعتبار سنجی تضمین کیفیت و تأیید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.
فهرست مطالب
Front Matter....Pages -
Building a Modal Interface Theory for Concurrency and Data....Pages 1-12
My ADT Shrine....Pages 13-24
Evolving SOA in the Q-ImPrESS Project....Pages 25-26
Sharing in the Graph Rewriting Calculus....Pages 27-41
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions....Pages 42-60
Towards a First-Order Deontic Action Logic....Pages 61-75
Casl-Mdl , Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation....Pages 76-97
Lambda Expressions in Casl Architectural Specifications....Pages 98-117
A Proof Theoretic Interpretation of Model Theoretic Hiding....Pages 118-138
Towards Logical Frameworks in the Heterogeneous Tool Set Hets....Pages 139-159
An Institution for Graph Transformation....Pages 160-174
New Results on Timed Specifications....Pages 175-192
Combining Graph Transformation and Algebraic Specification into Model Transformation....Pages 193-208
Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum....Pages 209-225
Algebraic Signatures Enriched by Dependency Structure....Pages 226-250
Compositional Modelling and Reasoning in an Institution for Processes and Data....Pages 251-269
Proving Properties about Functions on Lists Involving Element Tests....Pages 270-286
Test-Case Generation for Maude Functional Modules....Pages 287-301
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Active Oxygen in Chemistry
دانلود کتاب A-26 Invader Units of World War II
دانلود کتاب Der Baugrund: Praktische Geologie für Architekten, Bauunternehmer und Ingenieure
