fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Taentzer / Heckel

Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

Medium: Buch
ISBN: 978-3-319-75395-9
Verlag: Springer International Publishing
Erscheinungstermin: 07.02.2018
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.

The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.

These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Produkteigenschaften

  • Artikelnummer: 9783319753959
  • Medium: Buch
  • ISBN: 978-3-319-75395-9
  • Verlag: Springer International Publishing
  • Erscheinungstermin: 07.02.2018
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2018
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 528 g
  • Seiten: 333
  • Format (B x H x T): 155 x 235 x 19 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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.