Topics in Theoretical Computer Science
Mohammad Reza Mousavi, Jir� Sgall
Topics in Theoretical Computer Science - Springer 2017 - Lecture Notes in Computer Science .
9783319689531
Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters
Topics in Theoretical Computer Science - Springer 2017 - Lecture Notes in Computer Science .
9783319689531
Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters