hartmut ehrig
Fundamentals of Algebraic Graph Transformation
DigitalSofort lieferbarP Graphs are widely used to represent structural information in the form of objects and connecti...
Kategorien und Automate
DigitalSofort lieferbarFrontmatter -- Vorwort -- Inhaltsverzeichnis -- Einleitung -- 1. Kategorien -- 2. Automaten -- 3....
Graph and Model Transformation
DigitalSofort lieferbarThis book is a comprehensive explanation of graph and model transformation. It contains a deta...
Graph Transformations
TaschenbuchPrint on DemandICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...
Graph Grammars and Their Application to Computer Science
TaschenbuchPrint on DemandInhaltsangabeA partial algebras approach to graph transformation.- The contractum in algebraic gr...
TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
TaschenbuchPrint on DemandInhaltsangabeOn the complexity of branching programs and decision trees for clique functions.- Av...
Petri Net Technology for Communication-Based Systems
TaschenbuchPrint on DemandThis volume, 'Petri Net Technology for Communication-Based Systems,' is a state-of-the-artreporti...
Fundamentals of Algebraic Graph Transformation
TaschenbuchPrint on DemandGraphs are widely used to represent structural information in the form of objects and connections...
Graph-Grammars and Their Application to Computer Science
TaschenbuchPrint on DemandInhaltsangabeTutorial introduction to the algebraic approach of graph grammars.- May we introduce...
Fundamentals of Algebraic Specification 1
TaschenbuchPrint on DemandInhaltsangabeHistorical Remarks.- The Chapters of this Volume.- Further Topics.- 1 Equational Spe...
Mathematical Foundations of Software Development.Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29,1985
TaschenbuchPrint on DemandInhaltsangabeSpecification and top down design of distributed systems.- Specification languages f...
Unifying Petri Nets
TaschenbuchPrint on DemandSince their introduction nearly 40 years ago, research on Petri nets has diverged in many differe...