che-chandler.de

Kategorien und Automate

HANDBK OF GRAPH GRAMMARS & COMPUT.(VOL3)

Fundamentals of Algebraic Graph Transformation

Graphs are widely used to represent structural information in the form of objects and connecti...

Graph Transformation

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

Graph Transformation

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six...

Petri Net Technology for Communication-Based Systems

Algebraic Specification Techniques And Tools For Software Development: The Act Approach

The intention of this book is to show how algebraic specification methods can be used for softwar...

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...

Fundamentals of Algebraic Specification 1

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

Graph Transformations