Catalog

Record Details

Catalog Search



Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings  Cover Image E-book E-book

Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller.

Record details

  • ISBN: 9783642389863
  • Physical Description: X, 263 p. 92 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Logic design.
Software engineering.
Computer software.
Computer Science.
Logic Design.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Software Engineering.

Electronic resources



Additional Resources