TY - BOOK AU - Simon Devitt, Ivan Lanese TI - Reversible Computation SN - 9783319405780 PY - 2016/// PB - Springer KW - Logic Design; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Quantum Computing; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-40577-3 ER -