Reversible Computation
Jean Krivine, Jean-Bernard Stefani
Reversible Computation - Springer 2015 - Lecture Notes in Computer Science .
9783319208602
Logic Design; Logics and Meanings of Programs; Quantum Computing; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering
Reversible Computation - Springer 2015 - Lecture Notes in Computer Science .
9783319208602
Logic Design; Logics and Meanings of Programs; Quantum Computing; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering