- Ivan Lanese
- Mariusz Rawski
Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
- 2020
- Programming and Software Engineering 12227
- Pris
- 844,-
Paperback
Legg i Ivan Lanese
- Simon Devitt
- Ivan Lanese
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
- 2016
- Lecture Notes in Computer Science 9720
- Pris
- 928,-
Paperback
Legg i - Elvira Albert
- Ivan Lanese
Formal Techniques for Distributed Objects, Components, and Systems : 36th 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
- 2016
- Lecture Notes in Computer Science 9688
- Pris
- 928,-
Paperback
Legg i - Ivan Lanese
- Eric Madelaine
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
- 2015
- Programming and Software Engineering 8997
- Pris
- 844,-
Paperback
Legg i - Irek Ulidowski
- Ivan Lanese
- Ulrik Pagh Schultz
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
- Pris
- 543,-
Paperback
Legg i