Ivan Lanese

도서
Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
Reversible Computation: Extending Horizons of Computing
2020년
Reversible Computation Reversible Computation
Reversible Computation
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년