Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Fundamentals of Algebraic Graph Transformation - 2006

978-3-540-31188-1


Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Theory of Computation
Programming Languages, Compilers, Interpreters
Computer Science