Holger Giese, Barbara K�nig

Graph Transformation - Springer 2014 - Lecture Notes in Computer Science .

9783319091082

Discrete Mathematics in Computer Science; Software Engineering; Data Structures; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages