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

Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
٢٠٢٠
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٦
Reversible Computation Reversible Computation
٢٠١٦
Formal Aspects of Component Software Formal Aspects of Component Software
٢٠١٥