Reversible Computation
Subtitle: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
By: edited by Alexis Vos, Robert Wille
Contributors: Wille, Robert; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7165
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642295171
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