Pascal Weil

Computer Science � Theory and Applications - Springer 2017 - Lecture Notes in Computer Science .

9783319587479

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