Claudio Antares Mezzina – författare
Visar alla böcker från författaren Claudio Antares Mezzina. Handla med fri frakt och snabb leverans.
6 produkter
Reversible Computation
14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Av Claudio Antares Mezzina, Krzysztof Podlaski
Häftad, 2022
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They …
Reversible Computation
14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Av Krzysztof Podlaski, Claudio Antares Mezzina
E-bok, 2022
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They …
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Av Carla Ferreira, Claudio Antares Mezzina
Häftad, 2025
736 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Av Claudio Antares Mezzina, Carla Ferreira
E-bok, 2025
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing …
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Av Claudio Antares Mezzina, Alan Schmitt
Häftad, 2025
808 kr
Lägg i varukorg
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the …
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Av Alan Schmitt, Claudio Antares Mezzina
E-bok, 2025
839 kr
Lägg i varukorg
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the …
