Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Graph Transformation: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Graph Transformation: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Corradini, Andrea
Kreowski, Hans-Jörg
Ehrig, Hartmut

Paperback

Series: Lecture Notes in Computer Science, Book 2505

General ComputersGeneral MathematicsProgramming

ISBN10: 354044310X
ISBN13: 9783540443100
Publisher: Springer
Published: Sep 27 2002
Pages: 466
Weight: 1.46
Height: 0.96 Width: 6.14 Depth: 9.21
Language: English
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ] k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7-12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.

1 different editions

Also available

Also in

General Mathematics

View All