• Produktbild: Graph Transformation, Specifications, and Nets
  • Produktbild: Graph Transformation, Specifications, and Nets
Band 10800

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.02.2018

Herausgeber

Reiko Heckel + weitere

Verlag

Springer

Seitenzahl

333

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-75395-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.02.2018

Herausgeber

Verlag

Springer

Seitenzahl

333

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-319-75395-9

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, Specifications, and Nets
  • Produktbild: Graph Transformation, Specifications, and Nets
  • On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation.- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints.- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras.