Mezzina, Claudio Antares.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
Podlaski, Krzysztof.; Mezzina, Claudio Antares.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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 /
by:
Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Artificial Intelligence.
Computer systems.
Operating Systems.
Computer network protocols
Formal Languages and Automata Theory.
Computer Communication Networks.
Software engineering.
Electronic data processing
Machine theory.
Theory of Computation.
Logic design.
Logic Design.