Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / [electronic resource] :
edited by Andy Schürr, Manfred Nagl, Albert Zündorf.
- 1a ed.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5088 0302-9743 ; .
9783540890201
Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Data Structures Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science