Vor Ort
Merkzettel Warenkorb
Produktbild: Graph Transformation
Band 9151

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.07.2015

Abbildungen

XIV, 93 illus., schwarz-weiss Illustrationen

Herausgeber

Francesco Parisi-Presicce + weitere

Verlag

Springer

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-21144-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.07.2015

Abbildungen

XIV, 93 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

283

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-21144-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Graph Transformation

  • Polymorphic Sesqui-Pushout Graph Rewriting.- Predictive Top-Down Parsing for Hyperedge Replacement Grammars.- AGREE - Algebraic Graph Rewriting with Controlled Embedding.- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.- Towards Local Confluence Analysis for Amalgamated Graph Transformation.- Multi-amalgamated Triple Graph Grammars.- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs.- Reachability in Graph Transformation Systems and Slice Languages.- Equational Reasoning with Context-Free Families of String Diagrams.- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.- Graph Pattern Matching as an Embedded Clojure DSL.- Using Graph Transformations for Formalizing Prescriptions and Monitoring.- Towards Compliance Verification Between Global and Local Process Models.- Inductive Invariant Checking with Partial Negative Application Conditions.- Tool Support for Multi-amalgamated Triple Graph Grammars.- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.- Local Search-Based Pattern Matching Features in EMF-INCQUERY.