مشخصات کتاب

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

ویرایش: 1 
نویسندگان: Holger Giese. Barbara König (eds.)  
سری: Lecture Notes in Computer Science 8571 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783319091075, 9783319091082 
ناشر: Springer International Publishing 
سال نشر: 2014 
تعداد صفحات: 296 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

کلمات کلیدی مربوط به کتاب تحول نمودار: هفتمین کنفرانس بین المللی ، ICGT 2014 ، به عنوان بخشی از STAF 2014 ، یورک ، انگلستان ، 22-24 ژوئیه ، 2014. مجموعه مقالات: ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار، ساختارهای داده، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تحول نمودار: هفتمین کنفرانس بین المللی ، ICGT 2014 ، به عنوان بخشی از STAF 2014 ، یورک ، انگلستان ، 22-24 ژوئیه ، 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تحول نمودار: هفتمین کنفرانس بین المللی ، ICGT 2014 ، به عنوان بخشی از STAF 2014 ، یورک ، انگلستان ، 22-24 ژوئیه ، 2014. مجموعه مقالات

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

فهرست مطالب

Front Matter....Pages -
Parameterized Verification and Model Checking for Distributed Broadcast Protocols....Pages 1-16
Tableau-Based Reasoning for Graph Properties....Pages 17-32
Verifying Monadic Second-Order Properties of Graph Programs....Pages 33-48
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs....Pages 49-64
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs....Pages 65-80
Attribute Handling for Generating Preconditions from Graph Constraints....Pages 81-96
From Core OCL Invariants to Nested Graph Constraints....Pages 97-112
Specification and Verification of Graph-Based Model Transformation Properties....Pages 113-129
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation....Pages 130-145
Transformation and Refinement of Rigid Structures....Pages 146-160
Reversible Sesqui-Pushout Rewriting....Pages 161-176
On Pushouts of Partial Maps....Pages 177-191
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages....Pages 192-206
Canonical Derivations with Negative Application Conditions....Pages 207-221
Van Kampen Squares for Graph Transformation....Pages 222-236
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis....Pages 237-252
Towards Process Mining with Graph Transformation Systems....Pages 253-268
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling....Pages 269-284
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Tsunami Generation and Propagation

دانلود کتاب Ayurveda for all: effective ayurvedic self-cure for common and chronic ailments

دانلود کتاب Soziales Europa?: Perspektiven des Wohlfahrtsstaates im Kontext von Europäisierung und Globalisierung. Festschrift für Klaus Busch

دانلود کتاب Die extreme Rechte in der Bundesrepublik: Entwicklung — Ursachen — Gegenmaβnahmen

دانلود کتاب The Dynamics of Green Innovation in B2B Industries: A Systems Approach to Explain the Diffusion of Bioplastics