hartmut ehrig
Fundamentals of Algebraic Graph Transformation
Sofort lieferbarP Graphs are widely used to represent structural information in the form of objects and connecti...
Kategorien und Automate
Sofort lieferbarKeine ausführliche Beschreibung für 'Kategorien und Automate' verfügbar.Das E-Book Ka...
Graph and Model Transformation
Sofort lieferbarThis book is a comprehensive explanation of graph and model transformation. It contains a deta...
Graph Transformations
Print on DemandICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...
Graph Grammars and Their Application to Computer Science
Print on DemandInhaltsangabeA partial algebras approach to graph transformation.- The contractum in algebraic gr...
Petri Net Technology for Communication-Based Systems
Print on DemandThis volume, 'Petri Net Technology for Communication-Based Systems,' is a state-of-the-artreporti...
Fundamentals of Algebraic Graph Transformation
Print on DemandGraphs are widely used to represent structural information in the form of objects and connections...
Graph-Grammars and Their Application to Computer Science
Print on DemandInhaltsangabeTutorial introduction to the algebraic approach of graph grammars.- May we introduce...
Mathematical Foundations of Software Development.Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29,1985
Print on DemandInhaltsangabeSpecification and top down design of distributed systems.- Specification languages f...
Unifying Petri Nets
Print on DemandSince their introduction nearly 40 years ago, research on Petri nets has diverged in many differe...
Fundamentals of Algebraic Specification 2
Print on DemandSince the early seventies concepts of specification have become central in the whole area of comp...
Mathematisch-strukturelle Grundlagen der Informatik
Print on DemandIm Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikat...