Reversible Computation المزيد من كتب Ivan Lanese & Mariusz Rawski

Reversible Computation: Extending Horizons of Computing

Formal Techniques for Distributed Objects, Components, and Systems

Reversible Computation

Formal Aspects of Component Software