hartmut ehrig

Fundamentals of Algebraic Graph Transformation

This is the first textbook treatment of the algebraic approach to graph transformation, based on ...

Graph and Model Transformation

This book is a comprehensive explanation of graph and model transformation. It contains a detaile...

Graph Transformations

This book constitutes the refereed proceedings of the 4th International Conference on Graph Trans...

Graph Transformations

This book constitutes the refereed proceedings of the Third International Conference on Graph Tra...

Graph Transformation

This book constitutes the proceedings of the 6th International Conference on Graph Transformation...

Graph Transformations

Graphs are among the simplest and most universal models for a variety of s- tems, not just in com...

Kategorien und Automate

Keine ausführliche Beschreibung für 'Kategorien und Automate' verfügbar.

Mathematisch-strukturelle Grundlagen der Informatik

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematis...

Mathematisch-strukturelle Grundlagen der Informatik

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematis...

Integration of Software Specification Techniques for Applications in Engineering

Fundamentals of Algebraic Specification 1

The aim of this book is to present fundamentals of algebraicspecifications with respect to the fo...

Formal and Natural Computing

This book presents state of the art research in theoretical computer science and related ?elds. I...