Vos, Alexis.

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642295171


Computer science.; Computer Communication Networks.; Software engineering.; Computer software.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Computer Communication Networks.