Presents papers from the ICGT 2002 conference.

Product Description: This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process...read more (view table of contents, read Amazon.com's description)

Product Description: Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively...read more (view table of contents, read Amazon.com's description)

Product Description: Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively...read more (view table of contents, read Amazon.com's description)

Product Description: Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze und Softwaretechnik vertreten...read more

Product Description: This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the state of the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars...read more