Title: Reversible Computation
Subjects: Mathematical Logic and Formal Languages, Software engineering, Computer networks, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Computer software, Computer Communication Networks