Ivan Lanese

Identifiers

Open LibraryOL7857824A

Top Subjects

Software engineering (1)

Books by Ivan Lanese

Total count: 6

Theoretical Computer Science8th IFIP TC 1/WG 2. 2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Springer London, Limited2014-01-01
Formal Aspects of Component Software11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Springer International Publishing AG2015-01-01
Formal Techniques for Distributed Objects, Components, and Systems36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Springer2016-01-01
Reversible Computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Springer2016-06-30
Reversible Computation : Extending Horizons of ComputingSelected Results of the ICT COST Action IC1405

Springer International Publishing AG2020-01-01
Reversible ComputationExtending Horizons of Computing

Saint Philip Street Press2020-10-09