Fundamentals of Algebraic Graph Transformation

• Κύριοι συγγραφείς: Ehrig, Hartmut (Συγγραφέας), Ehrig, Karsten (Συγγραφέας), Prange, Ulrike (Συγγραφέας), Taentzer, Gabriele (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Monographs in Theoretical Computer Science. An EATCS Series,
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebra...