Ivan Lanese

Books

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
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2015