Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Schürr, Andy (Editor), Varró, Dániel (Editor), Varró, Gergely (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7233
• Subjects: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Data Structures.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, a...