Formal Aspects of Component Software Más libros de Ivan Lanese & Eric Madelaine

Reversible Computation Reversible Computation
Reversible Computation
2020
Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
Reversible Computation: Extending Horizons of Computing
2020
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2016
Reversible Computation Reversible Computation
Reversible Computation
2016